logic can be used for finding the truth.