Reduction criterion
 
x
OK