Education

I don't understand what is considered her tax liability. I am reading if the AOTC is greater than the the taxpayer's tax liability, then it is 40% refundable. I would have thought her tax liability was $7,031.