How Technology Can Motivate the Learning of Proof