Acid existence proof