"if everyone did X" should automatically evaluate to "false".