Supplementary Specification Example