Impl inheritance and search