TODO — a document title

TODO: version 2 of the contradiction pair

TODO surrounding prose: @@contra-v2@@

