+ <div class="head2">Summary of the contribution</div>
+ <div class="text">Here is a numerical acount of the contribution's contents
+ and its timeline.
+ </div>
+ <div class="text"><table cellpadding="4" cellspacing="0"><tbody><tr><td class="snns component grey">category</td><td class="snns plane grey">objects</td><td class="snnn number grey"><br/></td><td class="snnn plane grey"><br/></td><td class="ssnn number grey"><br/></td></tr><tr><td class="snns component green">propositions</td><td class="snns plane green">theorems</td><td class="snnn number green">39</td><td class="snns plane green">lemmas</td><td class="ssnn number green">333</td></tr><tr><td class="snss component yellow">concepts</td><td class="snss plane yellow">declared</td><td class="snsn number yellow">33</td><td class="snss plane yellow">defined</td><td class="sssn number yellow">46</td></tr></tbody></table></div>
+
+ Support for abstract candidates of reducibility closed.
+
+
+ Confluence of context-sensitive parallel reduction closed.
+
+
+ Confluence of context-free parallel reduction closed.
+
+
+ Specification started.
+