Working on well-scoped de Bruijn levels