Somebody striike with the simplEE proof to give the ee donors the motivation to end it