match proof