 Boyle is ambivalent about the function of miracles. Generally he regards them as being philosophically relevant after we have a proof of God’s existence, something which natural theology will afford us. (Boyle fastens on two main types of design arguments: those involving the complexity of animate beings, particularly very small animate  beings,[28]  and those which highlight the need to explain the origin and continuing function of natural laws: God must not only sustain God’s creatures, Boyle argues, he must also sustain the regularities which we recognize as lawlike.)