Evaluating Teachers' Decisions in Posing a Proof Problem