They did name the boolean expression; they named it `is_unique`. It's a poor name, but that's a different argument.