Deductive program design | lit.salon