<-
Diagnostics:
Bugs: Unlike with the predicate new/2, no exception is raised if the object already exists.
->