Denna enkla sats borde här,