proof doesn’t meet requirements