For the open assessment, given the specification of a software system. Parts of this description have been omitted, and must be filled in so that the resulting specification parses, type-checks, and can be successfully animated to demonstrate compliance with the software's requirements.