formal_derivation.pl 2.08 KB