First-order reduction
 
x
OK