Be specific about which theory we're using
Simplify min_length_for_position
Merge branch 'master' of github.com:eseidel/saycbridge

Conflicts:
	gae/z3b/bidder3.py