Computation and reasoning | lit.salon