here an outline of the proof is given together with kristoffer olsen oustad andreas w munster and frederick william cappelen the theme of exidy's venture is dungeon exploration and treasure gathering