Stick closer to HOL Light for now.