LTLがすべてではないし、LTLがおもしろいという状況は一体どのような状況なのかよくわからんけど、LTLがおもしろくないからといってMastodonをやる意味がないというのは違いそう