There's a typo in this section header:

> Axiom schemas/Rules of inferene