Which Is A Correct First Order Logic