Appendices

We repeat here the rules for proofs and truth trees.