Match & Reasoning