Title: Proving Shakespeare