work on spec of examples