Men den omhandlade satsen är docken