Proves_dec half done