you can't prove a negative