Nuprl 4.2 was derived from Nuprl 3. Principals involved in the design and implementation of Nuprl 4 were: