switch from Vdash to vDash a la Mishra
modal relations