What is difference between pattern and proof?