Maybe I should take a harder look at example 3... :)