Programmer debates about language "power" can be formalized using computer science tools. Matthias Felleisen's paper demonstrates how to rigorously prove whether one language is more expressive than another, moving beyond vague notions of terseness or elegance. The research provides mathematical frameworks to determine if a feature genuinely adds expressive power to a language, replacing subjective arguments with formal proofs. This allows objective comparison of programming languages based on what computations they can express, not just syntax preferences.