exclusivedisjunction‘s Following are private.