Ported Intro and OSI intro to tex