ass="separator"></span> <a href="HoTTMessages$$SeekEventualCodomain.html" title="" class="class"></a><a href="HoTTMessages$$SeekEventualCodomain.html" title="">SeekEventualCodomain</a></li><li class="current-entities indented3"><a href="HoTTMessages$$SeekGoal$.html" title="" class="object"></a> <a href="HoTTMessages$$SeekGoal.html" title="A goal to seek, often derived from others; if the others are solved or negated, we stop seeking" class="class"></a><a href="HoTTMessages$$SeekGoal.html" title="A goal to s