Examining the Role of Logic in Teaching Proof · Study