Efter en liflig diskussion beslöts: