Efter en kort men uttömmande diskussion,