Matching Logic/Extensions