Instantiation and recognition encodings | lit.salon