especialmente con el estado de la computación verificable