this is the problem. what kind of proof?