Finished properties (Inequalities, uniqueness), and began Navigation with random walk part.