Update (F5) for more result - calculus i and ii edwards