0 whp | Definition of whp