discovering the truth is for logical reasoning.