Objection Libraries With Proof Discipline