Efter någon diskussion beslöts: