can the first haltdef be deleted?
what does the carrot do?