hvae -> have