Eugine_Nier comments on Second-Order Logic: The Controversy