Explorations into specification-as-a-value