remove second paragraph in 5.1
Closed this issue · 0 comments
danielskatz commented
The Dagstuhl group suggests that the 2nd paragraph in 5.1 is confusing and overly specific, and therefore, should be removed.
Closed this issue · 0 comments
The Dagstuhl group suggests that the 2nd paragraph in 5.1 is confusing and overly specific, and therefore, should be removed.