Providing a more concise example