Interchange of limiting operations
 
x
OK