The Comparison Test Calculus