Desktop: Forzando las Deducciones Detalladas