Example 19. Martin’s Example 3