Computer arithmetic and validity | lit.salon