Hola, estoy intentando usar esta táctica para ver las pruebas como árboles como dice en las diapositivas pero me dice "No such goal". Si pongo Show Proof en el mismo lugar me muestra el término de prueba sin problema. Googleando no encontré ninguna referencia a la táctica salvo el manual que está colgado en fing.edu.uy
Saludos,
Gabriel