Self-consistency Turnbull (1976) characterized the NPMLE in the presence of interval censoring and truncation.