No se encontró "angelic non-determinism". Parece que esa forma no existe