とりあえずラムダ逆行にも矛盾があるならそっちも削除で良いよ