The mechanism

The proof exists in Malabe. What is missing is a thousand small versions of it.

The 25 ideas