Design comments relating to IPP and the knowledge structures we need