update Programmer's Guide reduction and pruning discussion