The need to provide representation-independent descriptions, for fear of losing (as noted) the principal benefit of top-down functional design: abstraction.

• 需要提供表示法独立的描述；这是担心失去由上而下函数设计的主要优点:抽象化.