The Future - 4 4. Prose versus Code • duplication versus sole coverage • verify conformance between code and prose • derive code from prose or v.v.? • insert code into prose or v.v.? • tight couplings of code function <-> prose clause who’s right? 66