Improved examples.

This should make things a little more clear without complicating the
examples with extra promise details.