Generalization of
Contract
«-
Message
?
(Message)