Enhancing First Order Formula