Dock har det , underförutsättning