Axiom of reducibility
 
x
OK