type A is tagged;
