What is a Q proof?