thanks Joey! what if approver and reviewer are independent.

approver & reviewer

means the approver has to be in the user set,

exist(approver) & reviewer

means as long as there is an approver, it will pass and the approver doesn't need to be in the user set