"vdash b" - related articles and key terms