Thesis: updated definitions, running example