more examples, formatting