TAG comments on The Pointer Resolution Problem