revising inf alg chapter