Då det är bevisadt: