Notes for deductiveship