AEI economist pushes back on GAO numbers