+
+\subsection{Extra 1: Initial LURD}
+Using the \texttt{-l} option the user can give a initial LURD to the program.
+LURD stands for Left, Up, Right, Down sequence and is a string consisting only
+of $l,u,r,d$ characters and it specifies the initial moves to be taken by the
+agent. To achieve this we simple for every character in the lurd update the
+initial state with the relative product of the transitions belonging to the
+correct direction. After that the problem is solved as usual and thus notifying
+the user wether the LURD leads to a solvable state. Note that when the LURD is
+empty the program behaves like there was no LURD given.