- [ apply (. #‡e); assumption
- | apply (. #‡e1); assumption
- | apply (. #‡(e \sup -1)); assumption;
- | apply (. #‡(e1 \sup -1)); assumption]]
+ [ apply (. #‡e^-1); assumption
+ | apply (. #‡e1^-1); assumption
+ | apply (. #‡e); assumption;
+ | apply (. #‡e1); assumption]]