added a few lemmas.  "cancel" now means "unwhisker".