Are Mathematicians Always Proof Focused Synonym