 While proving an assertion, a demonstration may merely provide an inferential justification of it or, in addition to that, also the terms that causally explain why things are the way they are. All demonstrations of the first kind are that-demonstrations; all demonstrations of the second kind are why-demonstrations.