It is clear then that a deduction that something belongs is not reached unless both propositions state that something belongs, but a necessary conclusion is possible even if one only of the propositions is necessary.