assume and differ