PiTP-String Compactifications, Part 1 - Edward Witten