-Situation calculus(sitcalc from now on) is very expressive because you can
-express yourself very detailed without encountering the frame problem. When the
-problem space expands the computational strength needed explodes. Sitcalc is
-therefore not very usefull when you want to plan far behind. For comparison,
-calculating a sokoban path 10 steps in the future already takes hours on a
-normal computer.
+Situation calculus(\textit{sitcalc} from now on) is very expressive because you
+can express yourself very detailed without encountering the frame problem. When
+the problem space expands the computational strength needed explodes.
+\textit{Sitcalc} is therefore not very useful when you want to plan far behind.
+For comparison, calculating a \textit{sokoban} path 10 steps in the future
+already takes hours on a normal computer.