Take out all the arguments/statement sets/statements that are in the solutions of Meaning and Argument and Formal Logic and have a truth tree or whose validity/consistency/whatever is known to serve as integration tests and examples of how the library works.
Take out all the arguments/statement sets/statements that are in the solutions of Meaning and Argument and Formal Logic and have a truth tree or whose validity/consistency/whatever is known to serve as integration tests and examples of how the library works.