Title: Techniques of deductice inference