Title: Getting Everything You Can Proof