Did you know that David Letterman parodied Werner Erhard in the 1978 Mork & Mindy episode Mork Goes Erk ?