Title: A general certificate calculus