Were the withdrawn ones actually Lean-checked or not? seems like that matters