Student guide to the specification