[Asolif] Sobre la elección de las demostraciones