Studies in automatic programming logic | lit.salon