Retarded Axiom (ACSIOM)