clarke was replaced a week later by thin lizzy man brian robertson he received a master of arts degree from lincoln college oxford the focus of the unit was on automatic proof methods kandi burigihe ujya kurota