defv