Spec Is a Predicative Language About Data Structures

spec is a predicative language about data. It's just like a little domain-specific language, but it's independent of the closure code. You can write specs for things that you wrote or things that other people wrote and they haven't specked themselves. The idea behind the testing is that these validations in these tests are not for production runtime.