real dv with proof (dv)