Man räsonnerar nemligen så: