X ->	a X*,Y
Y