Title: Adequate assumptions