eek, often derived from others; if the others are solved or negated, we stop seeking">SeekGoal</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$SeekGoals.html" title="goals to seek, through whatever means," class="class"></a><a href="HoTTMessages$$SeekGoals.html" title="goals to seek, through whatever means,">SeekGoals</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$SeekInduction.html" title="" class="