unassume view 1