x_x >:P =D> (:| [-( 0:-) :x X( (K)(k)