Explanation is plausibly hyperintensional: “explains” can be flanked by expressions that cannot be substituted with necessary equivalents salva veritate. One pure mathematical truth can explain another, but not every mathematical truth explains every other, even if every pure mathematical truth is a necessary truth (Baron, Colyvan, & Ripley 2020). Schneider (2011) argues that sometimes logical equivalents can explain each other, making a case that “because” is hyperintensional. \({\sim}{\sim