LAMPORT , BRANDIN P