I think this section should have a big fat SPECIFICATION heading