Thomas Watson: Quadratic Simulations of Merlin-Arthur Games. ACM Trans. Comput. Theory 12(2): 14:1-14:11 (2020)