Done with step 7 - Supplementary Specification