Are Mathematicians Always Proof Focused