goal tree should not assume that goals can be compared by equality