Det är således så godt som demonstreradt,