Adam Chlipala wrote: > There are, in effect, a finite number of contexts (e.g., a table cell, > regular body, etc.), which are implicit in the types of the tag > combinators. ...and that was a faulty example. It should say "a table row" instead of "a table cell."