Efter en ganska liflig diskussionbeslöts