Add a couple of explicit examples