Adds references to constant depth pairwise independent hash family.
Moves definition of partial assignments before it is used.
Changes terminology: complete -> total.
Fixes typo: is -> does.
Puts big formula into math display environment.