Title: A history of the so-called Jansenist church of Holland;