preliminaries
added preliminaries
Merge branch 'master' of https://github.com/subodhvsharma/paper-NPC
pulling the encoding work from Vojtech
added what trace and interleavings mean