add htmlproof