Encoding the goal state is very trivial. Just make sure all $target$ tiles are
$targetbox$ tiles.
+\subsection{Lurd extraction}
+%TODO
+
\subsection{Example}
For example, take the toy screen shown as the first representation in
Listing~\ref{lst:toy}. When the screen is parsed the unreachable space is first