On the Complexity of Parity Argument and Other Inefficient Proofs of Existence [pdf] | Heykuki News