Check and tests facts in order to verify that they are in fact true.