Start of lexdec motivation