result -> diagnostic