exposing the unfolding bound.
Merge branch 'master' of github.com:gmalecha/mirror-shard
cancellation now tries to discharge hypotheses.