The Deductionist Base Class