In 1839 Mariano Spada (1796 - 1872), professor of theology at the Roman College of Saint Thomas, published Esame Critico sulla dottrina dell’ Angelico Dottore S. What  problem did the teacher's publication solve for the Holy Roman leader with act that was committed  to do in response to the actions of the teacher  ?