Christof Löding, P. Madhusudan, Lucas Peña: Foundations for natural proofs and quantifier instantiation. Proc. ACM Program. Lang. 2(POPL): 10:1-10:30 (2018)