Done (in `memof`)