About implication results of 392

Relevance