Wi äterkomma framdeles till bewisningen.