>No. You're thinking imperatively. The pure form would express something like: >given the property sorted(s) defined in this way "Prompt SET" >let s be a

>No. You're thinking imperatively. The pure form would express something like: >given the property sorted(s) defined in this way "Prompt SET" >let s be a set such that for all elements e of s, e is an element of the program input. ... such that sorted(l) is true. "SORT SET" >Then let the output of the program be the list l Display SET. You've changed the wording and grammar, but you haven't stated anything different.