Move different Prove difference (Explicit)

Run IT (Explicit)