<html>
<body>
<style>
	* {
		font-family: sans-serif;
		font-size: 12px;
	}
	
	th {
		padding: 4px;
		background: #6be;
	}
	
	td {
		padding: 4px;
		background: #8df;
	}
</style>
Nodes encode formalization-specific rest problems, but the search is conducted to identify an object of some object space S.
Such an object should, by definition, always be creatable from a path to a goal node in the traversal tree. 

<table>
	<tr>
		<th></th>
		<th>Graph Type</th>
		<th style="width: 150px;">Dimension</th>
		<th s