should we also require maps_to here?