Fixed a bug when reporting if theorem is true or not.