salen för att redigera domen.