Pi Rogers comments on The formal goal is a pointer