Sort:  

The simulation hide the proofs 😃