При совпадении значения

(5) Если существует метод x в r или его объектах-учителях (объектов, от которых наследуется поведение)

такой, что x » m и sig(x) = (A1,c1) ´ …´ (An,cn)® cr

и {(A1,a1) ´ …´

´ (An,an)}ÍB и FID каждого поля сi присутствует в ai, тогда

m(B) ~> r º r.kh(x)(A1 : a1, … , An : an )

иначе

(6) Если r

является атомарным, то m(B) ~> r º fail.

Иначе m(B) ~> r является комплексным сообщением (complex message sending), обладает сложной структурой.