The Role of Logic in Teaching Proof · Study