Exploring specification