Efter en stunds diskussion beslöts,