Efter en stunds meningsutbyte beslöts: