He can prove all of these.