och bevisas är naturligtvis i sin ordning.