Whoever Proved

Eventually Unhampered