Update assumptions