Remove section 6.4, as that should be further work