Task2.java No Assume Unchanged