Resultado de la búsqueda: hacer deducciones lógicas con must