Restructured to make sigplan and llncs layouts easier to play with. Added May/must accept to PMSMs.