Natural deduction | lit.salon