Add examples and rewrite an awkwardly-written bit