New first-order logic syntax