adding full proof