infinity-accounting in GA 10