Shorter example