soft local consistency