At the University of Michigan and Indiana University, Hofstadter and Melanie Mitchell coauthored a computational model of "high-level perception"—Copycat—and several other models of analogy-making and cognition, including the Tabletop project, co-developed with Robert M. French.[25] The Letter Spirit project, implemented by Gary McGraw and John Rehling, aims to model artistic creativity by designing stylistically uniform "gridfonts" (typefaces limited to a grid). Other more recent models include Phaeaco (implemented by Harry Foundalis) and SeqSee (Abhijit Mahabal), which model high-level perception and analogy-making in the microdomains of Bongard problems and number sequences, respectively, as well as George (Francisco Lara-Dammer), which models the processes of perception and discovery in triangle geometry.[26][27][28]