fix tautological check