What is the receiver axiom uses for test runs?