Fixed line width to be <=70 for ReachingDefinitions.lhs