Hypnopompic definitions