三 模型和赋值普遍有效式