benson/varieties: section 5.3
header: added opname proj
benson/varieties: some of section 5.4 (recap of geometry)