Java — какая функция вызывается, когда задействованы наследование, полиморфизм, перегрузка и переопределение?

У меня есть этот вопрос, связанный с наследованием, полиморфизмом, перегрузкой и переопределением. Я понимаю все эти термины, но не уверен, как они работают здесь. Вот код:

class A {
    public String show(D obj) {return "A and D";}
    public String show(A obj) {return "A and A";}
}
class B extends A {
    public String show(B obj) {return "B and B";}
    public String show(A obj) {return "B and A";}
}
class C extends B{}
class D extends B{}
public class whatever {
    public static void main(String[] args) {
        A a = new B(); // note the B here
        B b = new B();
        C c = new C();
        D d = new D();
        System.out.println(a.show(a)); // B and A
        System.out.println(a.show(b)); // B and A
        System.out.println(a.show(c)); // B and A
        System.out.println(a.show(d)); // A and D
    }
}

Итак, задача здесь состоит в том, чтобы найти выход. У меня уже есть ответы, это комментарии, которые я оставил.

Я понимаю первое, потому что Java автоматически выполняет динамическую привязку, поэтому a.show() вызывает show() из класса B, а a имеет тип A, поэтому вызывается B.show(A obj).

Последнее тоже имеет смысл, метод show() перегружен, и поскольку d имеет тип D, вызывается A.show(D obj), унаследованный от класса A.

С двумя другими у меня проблемы. Ну, я понимаю, что это имеет смысл, потому что b и c технически являются объектами типа A, но почему это идет с «B и A», а не с «B и B»?