Supplementary Specification