check highlight for proof digital_rama2005