A statement that cannot be otherwise than true