michael@0: michael@0: michael@0: michael@0: op-dict lspace and rspace michael@0: michael@0: michael@0: michael@0: michael@0: x∀y michael@0: michael@0: michael@0: michael@0: