"vdash" - key terms from Wikipedia