Producing a system from a

Producing a system from a specification is like walking on water; its easier if its frozen.