Telephone Book Example:
Application of the one point law twice removes ?
telephones: Person ?Phone
?members’:P Person ; telephones’: Person Phone ?
(dom telephones ? members ?
dom telephones’ ? members’ ?
name? newnumber? ?telephones ?
telephones’ = telephones ? { name? newnumber?} ?