every integer ending in zero is if-then:​