statement that can be provided to be true​