Https Aedm Simulation Theory Proof