Then for the committee, we could each do a five-minute round per side, if you're interested in continuing and have any unanswered questions. If you feel that you've been satisfied, then we can end at this point. What's the will of the committee?
On May 6th, 2019. See this statement in context.