Although those who follow the Synod of Dordrecht teach sometimes that it suffices for freedom to be exempt from constraint, it seems that the necessity they leave in it is only hypothetical, or rather that which is more appropriately termed certainty and infallibility.