we must inline deeper