The mechanism for instantiating our definitions attempts to find a solution
for the goal
and, if successful, this instantiates X to a sequence of
terms in the Pillow notation. This sequence can then be translated
directly to the pages comprising our WWW site.