Intertheoretic reduction