Entry preconditions