このイメージは、使用可能で、新規論理システムの追加が可能な論理システムを示しています。