Axiomger5ex4 | 8004scan