Cosa fa esattamente questa asserzione?

CREATE ASSERTION Salario_Controllo
CHECK (NOT EXISTS (SELECT * FROM IMPIEGATI WHERE (SALARIO>35000));

Le clausole espresse tramite il CHECK restituiscono un vero o falso, giusto? Nel caso sia vero la modifica alla tabella viene permessa, diversamente no?
In questo caso, se ciò che ho capito è corretto, si verifica che NON venga inserito un impiegato con uno stipendio superiore a 35000?

Questa asserzione invece viene utilizzata per verificare che la tabella studente contenga sempre almeno uno studente:
CREATE ASSERTION AlmenoUnoStudente
CHECK (1<=(SELECT COUNT(*) FROM STUDENTI));
Per cui qualora vi siano 0 record in studenti il check restituisce falso e la modifica non viene permessa. Questo mi fa venire in mente una cosa...la creazione di questo tipo di asserzioni a cosa può mai servire?
Grazie!