Work on definitions, verification