In Praise of Language Specs