do u need the ^ when u haltdef as opposed to halt??