Formal Legal Truth and Substantive Truth in Judicial Fact-Finding