use de Bruijn index; modify If-branch