- | apply (A obt);
- | apply (J obt);
- | apply (A_is_saturation obt);
- | apply (J_is_reduction obt);
- | apply (compatibility obt); ]
+ | apply (oA obt);
+ | apply (oJ obt);
+ | apply (oA_is_saturation obt);
+ | apply (oJ_is_reduction obt);
+ | apply (Ocompatibility obt); ]