Proves cleaned ; fixing Proves_dec