Should this be moved to id_of?  or is it there already and hence not necessary here?