Basic proof theory | lit.salon