and we got "IS [NOT] DISTINCT FROM" in the meantime, for better or worse