OR element in after the MUX because its an invariant