formal_derivation.pl 2.39 KB