debugged promotion