Prove by logic. Discover by intuition.