a: a-mod, b: b-ctx, c: c-mod