Clarification of issues that often cause prob...
Introduction to conditional proof; multiple a...
Introduction of final seven replacement rules...
Additional inference rules (dil, DI, conj), a...
An introduction to the proof method in senten...