Renaming Validation to Disjunction

because that's what it is