Text this: Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples