Dan's Jefferson Westward Journey Proofs