4.x一3，y∧y→3，x asserts that situations (1)and(2)hold for the same heap,which can only happen if the values of x and y are the same. 5.x一3，y∧y→3，x asserts that either (3)or (4)may hold,and that the heap may contain additional cells