minor edit of set logic matcher proposal