method
join new_ =
derefs <-
Zone
.join new_ derefs;