About abstraction results of 354

Relevance