first steps of high level spec