3p1cd3m0n comments on Second-Order Logic: The Controversy