Origin and Definition of OR