Title: A General Certificate calculus