Finished describing the test of Axiom 5
Latest binary (final)