Why did that innocuous statement bother me so?

This seemingly innocuous statement, hammered to the front of so many movies, has become a red flag.

However, proving seemingly innocuous statements can require long proofs using only the above eleven axioms.