Translation for P4E textbook