added interface implication