Efter någon diskussion blef man ense om,