Co-Assignment (Explicit)

co assignment intro (Explicit)