Specification Engineering: The... Note