Reasoning with a computer in Pascal | lit.salon