de Bruijn's updown generation