GuardExpr1, ..., GuardExprN