Well, I thought APS was Abstract Proof Search :o] Alex Meijer Ben Shoemaker wrote: > > > APS = Adaptive-Predictive Search