Title: The holiness of Pascal