Temporal logic | lit.salon