CONSTRUCTION AND MANIPULATION OF FORMAL DYNAMICS MODELS | lit.salon