Typo
Special case for (is (= _ _))