mutcau lujvo

x1 is immaterially free of x2