小規模インスタンスにおける LTL は HTL に内包されたタイムラインという認識だったりします