Finished functional spec.