Dessa båda procedurer böra alltså försiggå utiskilda