Analyzing Calvin