casual n=01n! text R(X,Y)Z=XYZ-YXZ-[X,Y]Z