HOL N
hol ne!