Title: A new certificate arithmetic