Report question

Question: How does ReSharper know "Expression is always true"?