KHS Calculus