How formal should a proof be in teaching mathematics?