About informal results of 893

Relevance