There seems to be a markdown error (and a grammatical error) in: > This is it about axiom schemas and *rules of inference are almost the same thing except they

There seems to be a markdown error (and a grammatical error) in: > 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.