The statement "David can head home" is true because David is finished with his job.