Initial spec of language