Theories can be proved.