Started proof calculator.