Often this is a hypothesis which he suspects to be false.
For example, if he suspects that @var{A} is greater than @var{B} he will
state the null hypothesis as @math{ @var{A} = @var{B}}.@c
-@footnote{This example assumes that is it already proven that @var{B} is
+@footnote{This example assumes that it is already proven that @var{B} is
not greater than @var{A}.}
The @dfn{p-value} is a recurring concept in hypothesis testing.