Interface inheritance, #18.