traceable reasoning