Yup it can actually work without ^, so long as you have a halt or haltdef :P I suppose I'm orthodox-minded.