Label Evaluation Process for Write Access with Inverse Groups: This flow diagram is described in the text.
