Randolph Lehmann mental-health-diagnosis-private4019