テーマ別インスタンスは、LTLをタグTL化して、インスタンスに垢を作らずに外部参入させてくれというお気持ちがとても強い。