Dot är således nödvändigt,