Use alternative disjunctive form
Refactor and remove the constraint that every real server needs to be involved