Deleted GeneralWorld: I can't find how to generalize the concept