Popek y Goldberg presentan las siguientes condiciones suficientes.