preconditions are checked on existing data