Honza
Merge Honza's changes with the latest of mine

Conflicts:
	polynomial/lab.tex

Changes:
- add semicolons before "otherwise"
- solve the bad second line in the table
- fix: reduction is from bucketing to labeling, not the other way
- fix a few comments from Reviewer #1