User talk:172.56.113.152

Welcome!
Hello, and thank you for your contributions to Descriptive complexity theory! If you are interested in continuing to edit, I suggest you create an account to gain additional privileges. Happy editing! Felix QW (talk) 07:31, 6 July 2023 (UTC)