At this level of abstraction, any procedure that computes the square is equally good.

• 在这一抽象层次上，任何能计算出平方的过程都同样可以用。