Is it really that hard to proof this?