This section is at https://rollingedition.com/business-intelligence-with-agents/bi-agent-end-to-end#check-the-first-number.