> This is it about axiom schemas and *rules of inference are almost the same thing except they allow us to actually distill the conclusion from the premises.