Just as lists are a natural representation for sequential operations, sets provide a natural syntax for expressing concurrent operations, e.g. evaluating a set of procedures in Sol results the parallel evaluation of each procedure. By combining sets1.2 and lists, Sol provides an elegant syntax for computation capable of describing a wide range of procedural forms.