become active. The trick, then, is to use HebbianLinks and inference thereon to implicitly guess Predic- tivelmplicationLinks. A HebbianLink between Si and S says that when thinking about Si was useful in the past, thinking about S was also often useful. This suggests that if doing S achieves goal G, may