The Effectiveness of Mathematical Formalisms