Andy Bennett's example 1