som en formulerad lagtext,