Working on TTS definitions with @[Proof] (TTS refers to TS with witnesses).
Reversed the order of arguments of @[El'] back to o,p.