La rutina

Desde que regresé de vacaciones, y a excepción del poco tiempo que he estado trabajando en el nuevo paper para Tableaux, mi rutina ha sido como sigue:
- 10 - 15: Pensar en el problema, buscando una solución
- 15: Alegrarse por unas nuevas condiciones que parece resolver el problema
- 15 - 18: Pensar detalles y comprobar que funcionan al menos para los casos básicos
Irme a descansar y regresar al día siguiente
- 9: Encontrar un contraejemplo y volver a empezar.

Ya decía yo que no había que llamarlas blocking conditions, pero el jefe manda...