bik: first steps
brown.tex: fixed naturality of cup wrt group homs
brown.tex: Improvements on cap section