Conclusion. I'm currently convinced that it should be included. We can always go back on this later.