Miguel, Serafin Tomás O.P.), 1651-1722