/ACSAC/proofs/