The Jebediah Proof Assistant (heh, heh)