disc/first: more drafting
Some papers for disc maths project; weibel.