Proper logic. Judgement. Books II-III