För det andra är det faktiskt bevisadt,