A Transition to Proof More Books Like This