Highlight operations for the Mark-Counter