Jor Cheung

(B)a is valid since a is an object of class B. However (D)(B)a is not valid since you can not cast an object B to class D as you can not "cast down".