Så t. ex. är det bevisadt,