Introduction and assumptions