VBAR, chapter 2 (Syntax, validity and semantics), page 27

     Assignment rule

     An Assignment is valid if and only if its source expression
     is compatible with its target entity.