Why did the inclusive definition of disjunction become the convention? Was it coincidental, or is there some aspect to the inclusive definition that makes it more convenient?