pushed interface implication into solve.