Beginnings of specification