2.2.2
1095dd31 · Add explanation why elaboration of implication with subsitution is working ·