fix all comments except the formalization of legal histories