⁹I’m grateful to Michael Gutmann for suggesting this interpretation.