[Axiom] Rithmomachy (bugfixing)