Worked on session typesetting