Category:Examples of Order Type Addition