Proof of the simulation matrix 👁️