Machamer, Darden, and Craver's mechanistic explanation demonstrates that inter-level reduction proce...