Rename Bjordal's axioms