Quantifying the Progress of Goals in Intelligent Agents