Knowledge in Reasoning