Christianismi Restitutio (English: The Restoration of Christianity) was a book published in 1553 by Michael Servetus. It rejected the Christian doctrine of the Trinity and the concept of predestination, which had both been considered fundamental to Christianity since the time of St. Augustine and emphasized by John Calvin in his magnum opus, Institutio Christianae Religionis. Servetus argued that God condemns no one who does not condemn himself through thought, word or deed. It also contained, incidentally and by way of illustration, groundbreaking views on pulmonary circulation based on the discoveries of Arab Muslim physician Ibn Al Nafis, that challenged the incorrect teachings of Galen.