Problem # $1$: You are given the following Z$-$language state schema for a Union Office.

$[$NAME$|$TEL$]$

Messages$=[$OK Already Exist$|$Not Found $[$Insufficient FundINot Member$]$

Write Z$-$language specification for the following Operation.

Make all these operations robust by

addressing all possible error states and provide a response! Message after each operation

execution.

There is more than $15$ scemaes

Dont forget to handle all error cases $($robust$)$ and schema calculus

Solve it correctly please $.$