Andy Bennett's example 4