- Output Implementation* and Specification*