Independently of Ibn Al-Nafis, Michael Servetus identified pulmonary circulation, but this discovery did not reach the public because it was written down for the first time in the Manuscript of Paris in 1546. It was later published in the theological work which caused his execution in 1553, almost all copies of which were destroyed. In: "Christianismi Restitutio", Book V, the Aragonese Miguel Servet (Michel de Villeneuve, 1509?–1553) wrote: 'The blood is passed through the pulmonary artery to the pulmonary vein for a lengthy pass through the lungs, during which it becomes red, and gets rid of the sooty fumes by the act of exhalation'.