But Keller has figured out a very nicely integrated set of extensions, with a lot of power in compact definitions.

• 但Keller也指出了一组非常紧密集成的扩展,简洁定义中带有许多能力。