https://fmonk.quasigentsia.com/archives/1266
Implication