Cleanup
benson/varieties: finished 5.9
benson/varieties: up to section 5.12