This report analyzes the discursive interactions of four students to understand what heuristic methods they develop as well as how and why they build isomorphisms to resolve a combinatorial problem set in a non-Euclidian context. The findings suggest that results of their heuristic actions lead them to build isomorphisms that in turn allow them to justify a conjecture of theirs, using transitivity. (Contains 2 footnotes and 1 figure.) [For complete proceedings, see ED500860.]