exactlyOne without wrapping