proof dec work
Proves_dec complete!!!