Proves_dec cleaned; file cleaned out some
cleaning/moving files
cleaning