You're right, I meant that each valid RHS matches one and only one LHS--but that's also true of CSGs.