clean up unsound logic in Equality#isFalse