LTLの連帯感というのがよくわからないところがある 無限に壁打ちで満足するユーザにはわからないかんじなのかもしれない