predicado, o se produce una excepción, si este no se satisface.