DeducerTest, Introducing Calculators