Abstract -> Impl
Impl --> As