ぼくの初期フォロー回収方法はこれですね
まずコミュニティ飛び込まないと何もわからんから雑に作ってみるといいよ
このときだけはLTLに依存していいよ（しなくていいようにしたい）