Hide/Show Apps

Extension of some efficiency results to n-person games of pretension.