Reformatted lease using LaTeX constructs.