ブーストしたり参照しての言及はあるけど空リプはそんなに見ない気がしてるなぁ。
まあ人によるんだろうけど…LTLないしね