I nionde och tionde budén heter det: