About

Here we begin describing the formal structures underlying reasoning - arguments, statements, and the recursive nature of statement operators.