rip axiom (RIPaxiom)