Please note that the letters "A" and "E" may be used as abbreviations for the universal and the existential quantifier, respectively. For this reason, these letters cannot be used as propositional variables.
You are visitor number 3378488
Operating the Logic server currently costs about 113.88€ per year (virtual server 85.07€, domain fee 28.80€); hence the Paypal donation link.