Making the example more explicit