%% A: a | A d ; %%