Intermediate logic | lit.salon