cons start proof