It is necessary that every demonstration and every deduction should prove either that something belongs or that it does not, and this either universally or in part, and further either probatively or hypothetically.