User blog comment:Alemagno12/First Order Theory Theory/@comment-30004975-20180424165746

Your definition of ∃a(b) is wrong.