Negotiating arithmetic, construction proof | lit.salon