Justification Of Specification Example