Quantifying the progress of goals in intelligent agents. (29th April 2022)