understated proof