(For a contrasting approach, see proof-trees).
(Για μια αντίθεση προσέγγιση, βλέπε απόδειξη δέντρα).