Upson 5155 is the Xerox libe board lab and Paul will give a live demonstration of Nuprl on the big screen.
