Shorter example.