Proof scheduler works