@carn: There is no proof