Necessarily true
Redirect to:
Logical truth