added proof pic