"direct proof" . . . "direct proof" .