has -> hasve