Intertheoretic reduction
 
x
OK