precondition view 1