rm'd sigplan cls and added ACM proceedings cls
deprecated old confusing proof.