Una operación por pasos debe involucrar una prueba de nodo o, en el caso de un predicado, una expresión algebraica para probar ...