added set logic matcher proposal