Proves QAP
Push