[NAME , HEIGHT , WEIGHT ]

HeightAndWeight
knownHeight : P Name
knownWeight : P Name
height : NAME → 7 HEIGHT
weight : NAME → 7 WEIGHT
knownHeight : dom heightknownHeight : dom weight

NewHeight
∆HeightAndWeight
name? : NAME
hgt? : HEIGHT

name? ∈ / knowHeight
height 0 = height ∪ {name? →
7 hgt?}
weight 0 = weight

∆
HeightAndWeight
name? : NAME
wgt? : HEIGHT

name? ∈ / knownWeight
weight 0 = weight ∪ {name? →
7 wgt}
height 0 = height

FindWeight
ΞHeightAndWeight
name? : NAME
wgt!WEIGHT
name? ∈ knownWeight
wgt! = weight name?

1
FindHeight
ΞHeightAndWeight
name? : NAME
hgt!HEIGHT
name? ∈ knownHeight
hgt! = height name?

DeleteH eight
∆HeightAndWeight
name? : NAME
name? ∈ knownHeight
knownHeight 0 name? u knowHeight