>>338
明示的に排除してない時点で真偽決定不可能