contradictions good; now the rest! (Proves_dec)