Hello Hal,
---The basis of Leibniz's charge is twofold; miracles need to remain special and sacred and predictions about the world have to be possible.--- This is okay - you use the semi-colon to seperate two independent clauses, but it's actually a great time to use the colon, because...