Tag: Suppose a is an abstract class