とりあえず、d1がd2をimplyしてることを言ってるとしか分からんな
上の方にimplyの定義があるんでない？