nonempty scope?