てかそもそも lean 4 がまだ信頼でいないなら lean 3 でかけばいいやろ