Riksdagens öppnande skulle i kammarens protokoll intagas.