Vdash (macOS BEST)