proof halves

proof halves