Update assumptions.txt