Vdash [FAST]