Reviewed probabilistic relaxation, moved notation to introduction and added todos