Kill axiom schemes - make axioms in 5

In 5 from Full5.