Added an assumption