Specbench - Part 1 - Exploring a spec