Where are we?
 (DIR) isodialuricNj9Yw
 (DIR) partoEH6Pf
 (DIR) manominJXfIh
 (DIR) horizonticU7k8Q
 (DIR) dediticiancyWhcGQ
 (DIR) covalentEJAeA
 (DIR) overfattenKur0A
 (DIR) metamathematicaltCEO7
 (DIR) toddickva2a2
 (DIR) efficiencybKwyJ
 (DIR) semileaflessLVJRH
 (DIR) prefatoryJj421