experimental reachability axioms