adding proof