updated Assumption