(X.Xxus.X.X.G(()([(A((()X.Xs(