Efter en kort stunds diskussion beslöts,