问题

You are supposed to provide a solution to a given problem.

Problem:
Consider the matrix of A=[[1, -1], [-1, 4]], is this a positive definite matrix?
Solution:

答案

模型 模型答案 正确答案
金声玉亮2.0 To determine if a matrix is positive definite, we need to check if all its eigenvalues are positive. The matrix given is:

A = [[1, -1],
[-1, 4]]

First, we find the characteristic equation of the matrix A by computing the determinant of (A - λI), where λ represents the eigenvalues and I is the identity matrix.

|A - λI| = |(1-λ) (-1) |
|(-1) (4-λ)|

= (1-λ)(4-λ) - (-1)(-1)
= λ^2 - 5λ + 3

Next, we solve the characteristic equation for λ.

0 = λ^2 - 5λ + 3

Using the quadratic formula, we get:

λ = (5 ± √(5^2 - 4 * 3)) / 2
= (5 ± √13) / 2

The eigenvalues are λ1 = (5 + √13) / 2 and λ2 = (5 - √13) / 2.

Since both eigenvalues are positive (λ1 ≈ 4.303, λ2 ≈ 0.697), the matrix A is positive definite.
True
deepseekr1

The matrix \( A = \begin{bmatrix} 1 & -1 \\ -1 & 4 \end{bmatrix} \) is positive definite. Here's the step-by-step verification:

1. **Symmetry Check**:
\( A \) is symmetric since \( A = A^T \).

2. **Leading Principal Minors**:
- 1st minor (top-left element): \( 1 > 0 \).
- 2nd minor (determinant of \( A \)): \( (1)(4) - (-1)(-1) = 4 - 1 = 3 > 0 \).
All minors are positive, satisfying Sylvester's criterion.

3. **Eigenvalues**:
Solve \( \det(A - \lambda I) = 0 \):
\[
\lambda^2 - 5\lambda + 3 = 0 \implies \lambda = \frac{5 \pm \sqrt{13}}{2} \approx 4.303 \text{ and } 0.697
\]
Both eigenvalues are positive.

4. **Diagonal Entries and Determinant**:
Diagonal entries \( 1 \) and \( 4 \) are positive, and the determinant \( 3 > 0 \).

**Conclusion**: All criteria confirm that \( A \) is positive definite.

\boxed{Yes}
True
gpto1 To determine whether the matrix \( A = \begin{bmatrix} 1 & -1 \\ -1 & 4 \end{bmatrix} \) is positive definite, we can use several methods. Let's proceed step by step using two common approaches: **Sylvester's Criterion** (based on leading principal minors) and **Eigenvalue Analysis**.

### Method 1: Using Sylvester's Criterion

Sylvester's Criterion states that a real symmetric matrix is positive definite if and only if all its leading principal minors are positive. Since \( A \) is symmetric (because \( A = A^\top \)), we can apply this criterion.

**Step 1: Compute the Leading Principal Minors**

1. **First Leading Principal Minor (\( \Delta_1 \))**:
\[
\Delta_1 = a_{11} = 1
\]

2. **Second Leading Principal Minor (\( \Delta_2 \))**:
\[
\Delta_2 = \det\left( \begin{bmatrix} 1 & -1 \\ -1 & 4 \end{bmatrix} \right) = (1)(4) - (-1)(-1) = 4 - 1 = 3
\]

**Step 2: Check the Positivity of the Minors**

- \( \Delta_1 = 1 > 0 \)
- \( \Delta_2 = 3 > 0 \)

**Conclusion from Sylvester's Criterion**:

Since all leading principal minors are positive, matrix \( A \) is **positive definite**.

### Method 2: Eigenvalue Analysis

A real symmetric matrix is positive definite if all its eigenvalues are positive.

**Step 1: Find the Characteristic Equation**

Compute the characteristic equation of \( A \):

\[
\det(A - \lambda I) = 0
\]

Compute \( A - \lambda I \):

\[
A - \lambda I = \begin{bmatrix} 1 - \lambda & -1 \\ -1 & 4 - \lambda \end{bmatrix}
\]

Compute the determinant:

\[
\det(A - \lambda I) = (1 - \lambda)(4 - \lambda) - (-1)(-1) = (1 - \lambda)(4 - \lambda) - 1
\]

Expand the expression:

\[
(1 - \lambda)(4 - \lambda) = (1)(4) - (1)(\lambda) - (\lambda)(4) + \lambda^2 = 4 - 5\lambda + \lambda^2
\]

So, the characteristic equation is:

\[
\lambda^2 - 5\lambda + 4 - 1 = 0 \\
\lambda^2 - 5\lambda + 3 = 0
\]

**Step 2: Solve for Eigenvalues**

Solve the quadratic equation:

\[
\lambda^2 - 5\lambda + 3 = 0
\]

Compute the discriminant:

\[
D = (-5)^2 - 4(1)(3) = 25 - 12 = 13
\]

Find the roots:

\[
\lambda = \frac{5 \pm \sqrt{13}}{2}
\]

Compute the approximate values:

1. First eigenvalue (\( \lambda_1 \)):

\[
\lambda_1 = \frac{5 + \sqrt{13}}{2} \approx \frac{5 + 3.6056}{2} \approx \frac{8.6056}{2} \approx 4.3028
\]

2. Second eigenvalue (\( \lambda_2 \)):

\[
\lambda_2 = \frac{5 - \sqrt{13}}{2} \approx \frac{5 - 3.6056}{2} \approx \frac{1.3944}{2} \approx 0.6972
\]

**Step 3: Check the Positivity of the Eigenvalues**

Both eigenvalues are positive:

- \( \lambda_1 \approx 4.3028 > 0 \)
- \( \lambda_2 \approx 0.6972 > 0 \)

**Conclusion from Eigenvalue Analysis**:

Since all eigenvalues of \( A \) are positive, matrix \( A \) is **positive definite**.

### Final Conclusion

Based on both Sylvester's Criterion and Eigenvalue Analysis, we conclude that the matrix \( A \) is **positive definite**.

**Answer**: **Yes, the matrix is positive definite because all its leading principal minors and eigenvalues are positive.**
True
GPT-4o To determine if a given matrix \( A \) is positive definite, we need to verify that all its leading principal minors are positive. For a \( 2 \times 2 \) matrix \( A \):

\[ A = \begin{bmatrix}
1 & -1 \\
-1 & 4
\end{bmatrix} \]

The leading principal minors are:

1. The first leading principal minor is the upper left element of the matrix, which is \( a_{11} = 1 \).
2. The second leading principal minor is the determinant of the entire matrix.

First, we check the first leading principal minor:

\[ a_{11} = 1 \]
Since \( 1 > 0 \), the first leading principal minor is positive.

Next, we calculate the determinant of the entire matrix to find the second leading principal minor:

\[ \det(A) = \begin{vmatrix}
1 & -1 \\
-1 & 4
\end{vmatrix} \]

Using the formula for the determinant of a \( 2 \times 2 \) matrix:

\[ \det(A) = (1 \cdot 4) - (-1 \cdot -1) = 4 - 1 = 3 \]

Since \( 3 > 0 \), the second leading principal minor is also positive.

Both leading principal minors are positive, so the matrix \( A \) is positive definite.

**Conclusion**: The matrix \( A = \begin{bmatrix}
1 & -1 \\
-1 & 4
\end{bmatrix} \) is a positive definite matrix.
True
llama3.1-70B-Instruct

To determine if the matrix A = [[1, -1], [-1, 4]] is positive definite, we can use the following methods:

1. **Eigenvalues**: A matrix is positive definite if all its eigenvalues are positive. We can calculate the eigenvalues of A using the characteristic equation:

|A - λI| = 0

where I is the identity matrix and λ is the eigenvalue.

Solving for λ, we get:

λ = 1 ± √(1 + 4) = 1 ± √5

The eigenvalues are λ1 = 1 + √5 and λ2 = 1 - √5. Since both eigenvalues are positive, the matrix A is positive definite.

2. **Principal minors**: A matrix is positive definite if all its principal minors are positive. The principal minors of A are:

M1 = 1 > 0
M2 = 4 > 0
M3 = det(A) = 1*4 - (-1)*(-1) = 3 > 0

Since all principal minors are positive, the matrix A is positive definite.

3. **Sylvester's criterion**: A matrix is positive definite if all its leading principal minors are positive. The leading principal minors of A are:

M1 = 1 > 0
M2 = det([[1, -1], [-1, 4]]) = 3 > 0

Since all leading principal minors are positive, the matrix A is positive definite.

Therefore, using any of these methods, we can conclude that the matrix A = [[1, -1], [-1, 4]] is indeed positive definite.
True
llama3.1-405B-Instruct

To determine if a matrix is positive definite, we can use the following criteria:

1. The matrix must be symmetric.
2. All the eigenvalues of the matrix must be positive.

Let's check if the matrix A = [[1, -1], [-1, 4]] satisfies these criteria:

1. Symmetry: The matrix A is symmetric because A = A^T, where A^T is the transpose of A.

2. Eigenvalues: To find the eigenvalues of A, we need to solve the characteristic equation det(A - λI) = 0, where λ is the eigenvalue and I is the identity matrix.

The characteristic equation for A is:

(-λ + 1)(-λ + 4) - (-1)(-1) = 0

Expanding and simplifying, we get:

λ^2 - 5λ + 4 - 1 = 0

λ^2 - 5λ + 3 = 0

Solving for λ, we get:

λ = (5 ± √(25 - 12)) / 2

λ = (5 ± √13) / 2

The two eigenvalues of A are:

λ1 = (5 + √13) / 2
λ2 = (5 - √13) / 2

Both eigenvalues are positive, so the matrix A is positive definite.

Therefore, the solution to the problem is: Yes, the matrix A = [[1, -1], [-1, 4]] is positive definite.
True
DeepSeek-Coder-V2 To determine if the matrix A = [[1, -1], [-1, 4]] is positive definite, we need to check if all its eigenvalues are positive. Here is the step-by-step solution:

1. **Find the characteristic polynomial of the matrix A:**

The characteristic polynomial is given by the determinant of (A - λI), where λ is an eigenvalue and I is the identity matrix.

\[
A - \lambda I = \begin{bmatrix} 1 & -1 \\ -1 & 4 \end{bmatrix} - \lambda \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 1 - \lambda & -1 \\ -1 & 4 - \lambda \end{bmatrix}
\]

The determinant of this matrix is:

\[
\det(A - \lambda I) = \det \begin{bmatrix} 1 - \lambda & -1 \\ -1 & 4 - \lambda \end{bmatrix} = (1 - \lambda)(4 - \lambda) - (-1)(-1)
\]

Simplifying the expression:

\[
(1 - \lambda)(4 - \lambda) - 1 = 4 - 5\lambda + \lambda^2 - 1 = \lambda^2 - 5\lambda + 3
\]

So, the characteristic polynomial is:

\[
\lambda^2 - 5\lambda + 3
\]

2. **Find the eigenvalues by solving the characteristic equation:**

Set the characteristic polynomial equal to zero and solve for λ:

\[
\lambda^2 - 5\lambda + 3 = 0
\]

Use the quadratic formula \( \lambda = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a} \), where \( a = 1 \), \( b = -5 \), and \( c = 3 \):

\[
\lambda = \frac{5 \pm \sqrt{25 - 12}}{2} = \frac{5 \pm \sqrt{13}}{2}
\]

So, the eigenvalues are:

\[
\lambda_1 = \frac{5 + \sqrt{13}}{2}, \quad \lambda_2 = \frac{5 - \sqrt{13}}{2}
\]

3. **Check if the eigenvalues are positive:**

Both \( \frac{5 + \sqrt{13}}{2} \) and \( \frac{5 - \sqrt{13}}{2} \) are positive because:

- \( \sqrt{13} \) is a positive number.
- Adding or subtracting a positive number from 5 results in a positive number when divided by 2.

Since both eigenvalues are positive, the matrix A is positive definite.

**Conclusion:**
The matrix A = [[1, -1], [-1, 4]] is a positive definite matrix.
True
Qwen2-72B-Instruct To determine if a matrix is positive definite, we need to check if all its eigenvalues are positive. The matrix given is:

A = [[1, -1],
[-1, 4]]

First, we find the characteristic equation of the matrix A by computing the determinant of (A - λI), where λ represents the eigenvalues and I is the identity matrix.

|A - λI| = |(1-λ) (-1) |
|(-1) (4-λ)|

= (1-λ)(4-λ) - (-1)(-1)
= λ^2 - 5λ + 3

Next, we solve the characteristic equation for λ.

0 = λ^2 - 5λ + 3

Using the quadratic formula, we get:

λ = (5 ± √(5^2 - 4 * 3)) / 2
= (5 ± √13) / 2

The eigenvalues are λ1 = (5 + √13) / 2 and λ2 = (5 - √13) / 2.

Since both eigenvalues are positive (λ1 ≈ 4.303, λ2 ≈ 0.697), the matrix A is positive definite.
True
baichuan4 To determine if matrix A is positive definite, we need to check if all the eigenvalues of A are positive.

First, we find the characteristic polynomial of A by computing the determinant of A - λI, where I is the identity matrix and λ is the eigenvalue.

A = [[1, -1], [-1, 4]]
A - λI = [[1 - λ, -1], [-1, 4 - λ]]

det(A - λI) = (1 - λ)(4 - λ) - (-1)(-1) = λ^2 - 5λ + 3

Now, we solve for λ in the characteristic polynomial:

λ^2 - 5λ + 3 = 0
(λ - 3)(λ - 1) = 0

So, the eigenvalues of A are λ = 3 and λ = 1, both of which are positive.

Therefore, matrix A is positive definite.
True
doubao To determine if a matrix is positive definite, we need to check if all its eigenvalues are positive.

The characteristic equation of A is given by:

det(A - λI) = 0, where I is the identity matrix.

So, det([[1-λ, -1], [-1, 4-λ]]) = 0

Expanding this determinant gives:

(1-λ)*(4-λ) - (-1)*(-1) = 0

4 - λ - 4λ + λ² - 1 = 0

λ² - 5λ + 3 = 0

Using the quadratic formula, the eigenvalues are:

λ = (5 ± √(25 - 4*1*3)) / 2 = (5 ± √13) / 2

Both eigenvalues are positive, so the matrix A is positive definite.
True
minimax To determine if a matrix is positive definite, we can use several criteria. One of the most common methods is to check if all leading principal minors are positive. A leading principal minor is the determinant of the top-left k x k submatrix for k = 1, 2, ..., n, where n is the size of the matrix.

Let's apply this method to the given matrix A:

A = [[1, -1],
[-1, 4]]

First, we check the determinant of the 1x1 leading principal minor (which is just the top-left element itself):
Minor_1 = 1
Since 1 is positive, the first condition is satisfied.

Next, we check the determinant of the 2x2 leading principal minor:
Minor_2 = |1 -1|
|-1 4|

To calculate the determinant of a 2x2 matrix, we use the formula:
det(A) = ad - bc

For our matrix A, we have:
det(A) = (1)(4) - (-1)(-1) = 4 - 1 = 3

Since the determinant of the 2x2 leading principal minor is also positive (3 > 0), the second condition is satisfied.

Because both leading principal minors are positive, we can conclude that the matrix A is positive definite.
True
kimi To determine whether a matrix is positive definite, we can use the following criteria:

1. All eigenvalues of the matrix must be positive.
2. All leading principal minors of the matrix must be positive.

For a 2x2 matrix like A = [[1, -1], [-1, 4]], we can check the first condition by finding its eigenvalues. The eigenvalues of a matrix A = [[a, b], [c, d]] are given by the roots of the characteristic equation:

det(A - λI) = 0

where λ is the eigenvalue, I is the identity matrix, and det() denotes the determinant. For our matrix A, the characteristic equation is:

(1 - λ)((4 - λ) - (-1)(-1)) = 0
(1 - λ)(4 - λ - 1) = 0
(1 - λ)(3 - λ) = 0

So the eigenvalues are λ1 = 1 and λ2 = 3, both of which are positive.

Since the matrix has only one leading principal minor (which is the determinant of the entire matrix), we can check that as well:

det(A) = (1)(4) - (-1)(-1) = 4 - 1 = 3

The determinant is also positive.

Since both conditions are satisfied, the matrix A = [[1, -1], [-1, 4]] is positive definite.
True
wenxinyiyan To determine if the matrix A is positive definite, we need to check if all its eigenvalues are positive.

Matrix A is given by:
A = [[1, -1],
[-1, 4]]

The eigenvalues of a 2x2 matrix can be found using the formula:
λ = (tr(A) ± sqrt(tr(A)^2 - 4*det(A))) / 2
where tr(A) is the trace of A (sum of the diagonal elements) and det(A) is the determinant of A.

For matrix A:
tr(A) = 1 + 4 = 5
det(A) = 1*4 - (-1)*(-1) = 4 - 1 = 3

So, the eigenvalues are:
λ1 = (5 + sqrt(5^2 - 4*3)) / 2 = (5 + sqrt(25 - 12)) / 2 = (5 + sqrt(13)) / 2
λ2 = (5 - sqrt(5^2 - 4*3)) / 2 = (5 - sqrt(25 - 12)) / 2 = (5 - sqrt(13)) / 2

Both eigenvalues are positive since sqrt(13) < 5, so the matrix A is positive definite.
True
zhipu To determine whether a matrix is positive definite, we can use several methods. One common approach is to check the signs of its eigenvalues. A matrix is positive definite if and only if all of its eigenvalues are positive.

Given the matrix A:

\[ A = \begin{bmatrix} 1 & -1 \\ -1 & 4 \end{bmatrix} \]

Let's find its eigenvalues.

The eigenvalues \( \lambda \) of a matrix A are found by solving the characteristic equation:

\[ \det(A - \lambda I) = 0 \]

where \( I \) is the identity matrix of the same size as A.

For our matrix A, we have:

\[ A - \lambda I = \begin{bmatrix} 1 - \lambda & -1 \\ -1 & 4 - \lambda \end{bmatrix} \]

The determinant of this matrix is:

\[ \det(A - \lambda I) = (1 - \lambda)(4 - \lambda) - (-1)(-1) \]
\[ = (1 - \lambda)(4 - \lambda) - 1 \]
\[ = 4 - \lambda - 4\lambda + \lambda^2 - 1 \]
\[ = \lambda^2 - 5\lambda + 3 \]

Now, we solve the characteristic equation:

\[ \lambda^2 - 5\lambda + 3 = 0 \]

Using the quadratic formula \( \lambda = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a} \), where \( a = 1 \), \( b = -5 \), and \( c = 3 \), we get:

\[ \lambda = \frac{5 \pm \sqrt{25 - 12}}{2} \]
\[ \lambda = \frac{5 \pm \sqrt{13}}{2} \]

This gives us two eigenvalues:

\[ \lambda_1 = \frac{5 + \sqrt{13}}{2} \]
\[ \lambda_2 = \frac{5 - \sqrt{13}}{2} \]

Both eigenvalues need to be positive for the matrix to be positive definite. Let's check:

1. \( \lambda_1 = \frac{5 + \sqrt{13}}{2} \) is clearly positive since \( \sqrt{13} \) is approximately 3.605, making \( \lambda_1 \) greater than 2.
2. \( \lambda_2 = \frac{5 - \sqrt{13}}{2} \) is also positive since \( \sqrt{13} \) is less than 5, making \( \lambda_2 \) greater than 0 but less than 2.

Since both eigenvalues are positive, the matrix A is positive definite.

Alternatively, we could use the principal minors test. For a 2x2 matrix \( A = \begin{bmatrix} a & b \\ c & d \end{bmatrix} \), the conditions for positive definiteness are:

1. \( a > 0 \)
2. \( \det(A) > 0 \)

For our matrix:

1. \( a = 1 > 0 \)
2. \( \det(A) = (1)(4) - (-1)(-1) = 4 - 1 = 3 > 0 \)

Both conditions are satisfied, confirming that the matrix A is positive definite.

Therefore, the matrix \( A = \begin{bmatrix} 1 & -1 \\ -1 & 4 \end{bmatrix} \) is indeed a positive definite matrix.
True
gpto1 To determine whether the matrix \( A = \begin{bmatrix} 1 & -1 \\ -1 & 4 \end{bmatrix} \) is positive definite, we can use several methods. Let's proceed step by step using two common approaches: **Sylvester's Criterion** (based on leading principal minors) and **Eigenvalue Analysis**.

### Method 1: Using Sylvester's Criterion

Sylvester's Criterion states that a real symmetric matrix is positive definite if and only if all its leading principal minors are positive. Since \( A \) is symmetric (because \( A = A^\top \)), we can apply this criterion.

**Step 1: Compute the Leading Principal Minors**

1. **First Leading Principal Minor (\( \Delta_1 \))**:
\[
\Delta_1 = a_{11} = 1
\]

2. **Second Leading Principal Minor (\( \Delta_2 \))**:
\[
\Delta_2 = \det\left( \begin{bmatrix} 1 & -1 \\ -1 & 4 \end{bmatrix} \right) = (1)(4) - (-1)(-1) = 4 - 1 = 3
\]

**Step 2: Check the Positivity of the Minors**

- \( \Delta_1 = 1 > 0 \)
- \( \Delta_2 = 3 > 0 \)

**Conclusion from Sylvester's Criterion**:

Since all leading principal minors are positive, matrix \( A \) is **positive definite**.

### Method 2: Eigenvalue Analysis

A real symmetric matrix is positive definite if all its eigenvalues are positive.

**Step 1: Find the Characteristic Equation**

Compute the characteristic equation of \( A \):

\[
\det(A - \lambda I) = 0
\]

Compute \( A - \lambda I \):

\[
A - \lambda I = \begin{bmatrix} 1 - \lambda & -1 \\ -1 & 4 - \lambda \end{bmatrix}
\]

Compute the determinant:

\[
\det(A - \lambda I) = (1 - \lambda)(4 - \lambda) - (-1)(-1) = (1 - \lambda)(4 - \lambda) - 1
\]

Expand the expression:

\[
(1 - \lambda)(4 - \lambda) = (1)(4) - (1)(\lambda) - (\lambda)(4) + \lambda^2 = 4 - 5\lambda + \lambda^2
\]

So, the characteristic equation is:

\[
\lambda^2 - 5\lambda + 4 - 1 = 0 \\
\lambda^2 - 5\lambda + 3 = 0
\]

**Step 2: Solve for Eigenvalues**

Solve the quadratic equation:

\[
\lambda^2 - 5\lambda + 3 = 0
\]

Compute the discriminant:

\[
D = (-5)^2 - 4(1)(3) = 25 - 12 = 13
\]

Find the roots:

\[
\lambda = \frac{5 \pm \sqrt{13}}{2}
\]

Compute the approximate values:

1. First eigenvalue (\( \lambda_1 \)):

\[
\lambda_1 = \frac{5 + \sqrt{13}}{2} \approx \frac{5 + 3.6056}{2} \approx \frac{8.6056}{2} \approx 4.3028
\]

2. Second eigenvalue (\( \lambda_2 \)):

\[
\lambda_2 = \frac{5 - \sqrt{13}}{2} \approx \frac{5 - 3.6056}{2} \approx \frac{1.3944}{2} \approx 0.6972
\]

**Step 3: Check the Positivity of the Eigenvalues**

Both eigenvalues are positive:

- \( \lambda_1 \approx 4.3028 > 0 \)
- \( \lambda_2 \approx 0.6972 > 0 \)

**Conclusion from Eigenvalue Analysis**:

Since all eigenvalues of \( A \) are positive, matrix \( A \) is **positive definite**.

### Final Conclusion

Based on both Sylvester's Criterion and Eigenvalue Analysis, we conclude that the matrix \( A \) is **positive definite**.

**Answer**: **Yes, the matrix is positive definite because all its leading principal minors and eigenvalues are positive.**
True
deepseekv3 To determine whether the matrix \( A = \begin{bmatrix} 1 & -1 \\ -1 & 4 \end{bmatrix} \) is positive definite, we can use the following criteria for a \( 2 \times 2 \) matrix:

A symmetric matrix \( A = \begin{bmatrix} a & b \\ b & c \end{bmatrix} \) is positive definite if and only if:
1. The first principal minor is positive: \( a > 0 \).
2. The determinant of the matrix is positive: \( ac - b^2 > 0 \).

Let's apply these criteria to the given matrix \( A \):

1. The first principal minor is \( a = 1 \), which is positive.
2. The determinant of \( A \) is calculated as:
\[
\det(A) = (1)(4) - (-1)(-1) = 4 - 1 = 3
\]
The determinant \( 3 \) is positive.

Since both conditions are satisfied, the matrix \( A \) is positive definite.

### Conclusion:
Yes, the matrix \( A = \begin{bmatrix} 1 & -1 \\ -1 & 4 \end{bmatrix} \) is positive definite.
True