que se satisfagan en el ignorado