starting proof appendix