User talk:73.222.12.209

August 2018
Hello, and welcome to Wikipedia. This is a message letting you know that one or more of your recent edits to First-order logic has been undone by an automated computer program called ClueBot NG.

Thank you. ClueBot NG (talk) 01:07, 3 August 2018 (UTC)
 * ClueBot NG makes very few mistakes, but it does happen. If you believe the change you made was constructive, please read about it, [ report it here], remove this message from your talk page, and then make the edit again.
 * For help, take a look at the introduction.
 * The following is the log entry regarding this message: First-order logic was changed by 73.222.12.209 (u) (t) ANN scored at 0.866623 on 2018-08-03T01:07:34+00:00.