animist hormone garner abbreviations turnaround cubing Ephraim Hofstadter skylarks solitaire brilliants