Por más entendido que fuera Mariano Rosas, ¿a qué había de perder tiempo en disertaciones políticas con él?