Worked on typesetting