About informal results of 887

Relevance
Elision03:45