First stage of Prove It.