Restricting only to the coincident case, to avoid ignoring the user with conflicting constraints