Vdash Updated Guide