Gross Geometry: Writing a Counterexample to a Conjecture