. "analog proof" . . "analog proof" .