Dessa bestämmelser äro den logiskaföljden