``` (= (testf $a) (if (== $a $_a) True False)) !(testf 1) ``` This should obviously return False but it returns True in Mettalog.