After that, we can, I hope, end the habit of turning every discussion about formalities into 2/3 content being joerg vs. board/joerg vs. world ping-pong.