they are not traversed it seems