5.3 Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220] SntF C999961536981D999961724588C1120565033109D1120565041220 S9434 1 @x (Tet(x) | Cube(x)) $ (/x Tet(x) | @x Cube(x))