HOL edits