mode square(yes).
closure none.

top(N)  equals square(gen(N)).

	square({N\_})   contains {N*N}.

	gen(N) equals if N < 1 then phi else {N \ gen(N-1)}.
