"theory of demonstration" . . . "theory of demonstration" .