Here is another example, an axiom from propositional logic: (impl (impl p (impl q r)) (impl (impl p q) (impl p r))) which, vertically indented in a transp

Here is another example, an axiom from propositional logic: (impl (impl p (impl q r)) (impl (impl p q) (impl p r))) which, vertically indented in a transposed block, looks like this: * ( ) * i ( ) ( ) * m i p ( ) i ( ) ( ) p m i q r m i p q i p r l p m p m m * l p l p p * l l l * which, using transposed lines within the transposed block, finally looks like this: * ( ) * *impl* ( ) ( ) * * *impl* *p* ( ) *impl* ( ) ( ) * *impl* *q* *r* *impl* *p* *q* *impl* *p* *r* * This time I won't make any judgements. Could be good, could be bad, you decide.