Andy Bennett's example 3