Slightly more obvious first example