Det senare alternativet förordades,