Mathic Rules (InequalityOpoly)