dec progress - Proves on pairs now