Rie () of OnlyOneOf () Because