#Logic

ocrampalWe stand at a peculiar moment in human history. Our technical capabilities have never been more impressive—we can manipulate matter at the atomic level, build machines that mimic human conversation, and map the neural activity of living brains in real time. Yet our deepest questions remain as mysterious as ever: What is consciousness? What is life? What is intelligence?<a href="https://mastodon.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#philosophy</a> <a href="https://mastodon.social/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a> <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://www.ocrampal.com/the-source-of-thought-beyond-science-philosophy-and-ai" rel="nofollow noopener" translate="no" target="_blank">https://www.ocrampal.com/the-source-of-thought-beyond-science-philosophy-and-ai</a>

Stefano Volpe :spinny_fox:Some very cool people from my Master's have published the very first issue of a student-led magazine called The Illogician. It is a semiserious periodical about <a href="https://blahaj.zone/tags/logic" rel="nofollow noopener" target="_blank">#logic</a>, <a href="https://blahaj.zone/tags/language" rel="nofollow noopener" target="_blank">#language</a>, and <a href="https://blahaj.zone/tags/computation" rel="nofollow noopener" target="_blank">#computation</a>. <a href="https://resources.illc.uva.nl/TheIllogician/issues/2025-ii" rel="nofollow noopener" target="_blank">https://resources.illc.uva.nl/TheIllogician/issues/2025-ii</a> All articles are very short, and free to read. The PDF used to print the physical edition is also available. It was generated by importing the authors' submissions in <a href="https://blahaj.zone/tags/Scribus" rel="nofollow noopener" target="_blank">#Scribus</a> via <a href="https://fosstodon.org/@pandoc" class="u-url mention" rel="nofollow noopener" target="_blank">@pandoc@fosstodon.org</a>.

Stefano Volpe :spinny_fox:Hey there! On Wednesday, I completed the ILLC's Master of <a href="https://blahaj.zone/tags/Logic" rel="nofollow noopener" target="_blank">#Logic</a> at the <a href="https://blahaj.zone/tags/UniversityOfAmsterdam" rel="nofollow noopener" target="_blank">#UniversityOfAmsterdam</a> :dr_tobydance: My supervisor and the rest of the committee were super nice to me, as were all the friends who have helped me throughout these two years. Amazing programme full of amazing people btw. :blobcat_heart: I am starting my <a href="https://blahaj.zone/tags/PhD" rel="nofollow noopener" target="_blank">#PhD</a> next month. I'll be working on the foundations of programming languages under <a href="https://mathstodon.xyz/@stelios" class="u-url mention" rel="nofollow noopener" target="_blank">@stelios@mathstodon.xyz</a> at <a href="https://blahaj.zone/tags/SDU" rel="nofollow noopener" target="_blank">#SDU</a>'s <a href="https://blahaj.zone/tags/ACPSection" rel="nofollow noopener" target="_blank">#ACPSection</a> in <a href="https://blahaj.zone/tags/Odense" rel="nofollow noopener" target="_blank">#Odense</a>, <a href="https://blahaj.zone/tags/Denmark" rel="nofollow noopener" target="_blank">#Denmark</a>. I am super psyched!

janhoglundI don’t think AI acts. There’s no action in algorithms; it’s deduction, logic gates. Now, a human being using such tools may be different. But we have to be very careful to avoid becoming the tool of our tools. —Matthew Segall, Value at the Root: Cultivating Virtue in a Post-Truth World <a href="https://mastodon.nu/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#ai</a> <a href="https://mastodon.nu/tags/algorithms" class="mention hashtag" rel="nofollow noopener" target="_blank">#algorithms</a> <a href="https://mastodon.nu/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://mastodon.nu/tags/tools" class="mention hashtag" rel="nofollow noopener" target="_blank">#tools</a>

rhetoricOne mistake: spending too long on minor tasks. Give unimportant choices 30 seconds max. Another mistake: skipping checks when rushed. Always glance for big errors. Try reviewing decisions weekly. Ask: Did this need more speed? More check-ins? It tunes your instincts. <a href="https://streetwi.se/tags/StudyTips" class="mention hashtag" rel="nofollow noopener" target="_blank">#StudyTips</a> <a href="https://streetwi.se/tags/Decisions" class="mention hashtag" rel="nofollow noopener" target="_blank">#Decisions</a> <a href="https://streetwi.se/tags/StudentLife" class="mention hashtag" rel="nofollow noopener" target="_blank">#StudentLife</a> <a href="https://streetwi.se/tags/CriticalThinking" class="mention hashtag" rel="nofollow noopener" target="_blank">#CriticalThinking</a> <a href="https://streetwi.se/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> <a href="https://streetwi.se/tags/Judgment" class="mention hashtag" rel="nofollow noopener" target="_blank">#Judgment</a> <a href="https://streetwi.se/tags/Persuasion" class="mention hashtag" rel="nofollow noopener" target="_blank">#Persuasion</a> <a href="https://streetwi.se/tags/Influence" class="mention hashtag" rel="nofollow noopener" target="_blank">#Influence</a> <a href="https://streetwi.se/tags/Communication" class="mention hashtag" rel="nofollow noopener" target="_blank">#Communication</a> <a href="https://streetwi.se/tags/Leadership" class="mention hashtag" rel="nofollow noopener" target="_blank">#Leadership</a> <a href="https://streetwi.se/tags/Strategy" class="mention hashtag" rel="nofollow noopener" target="_blank">#Strategy</a> <a href="https://streetwi.se/tags/CognitiveBias" class="mention hashtag" rel="nofollow noopener" target="_blank">#CognitiveBias</a> <a href="https://streetwi.se/tags/Mindset" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mindset</a> (3/3)

jnpnGood old Verse (from Epic) <a href="https://www.youtube.com/watch?v=F1n7bBanKYQ" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=F1n7bBanKYQ</a><a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a>

Endor NimDiary of a Madman. Dear diary, I think I have been too flippant with my political commentary today! I mean, what do I know? Last week I ordered a second hand book on Mathematical logic (Ebbinghaus, Glum and Thomas) on the basis that I thought I should have a more logical grounding to my scientific studies. Actually, that’s not completely true… I saw that there was a chapter on first order logic and got carried away with thinking that I might inculcate some knowledge of the dark side of the force. Alas, it’s beyond me. And all this is to say that maybe I’m wrong on other things too! Maybe Trump is… will be, the greatest president that there ever, ever was. Maybe deploying the military to the mean streets of Washington DC is necessary, after all. Maybe the Israelis didn’t take the wrong lessons from WW2!? And maybe AI will set us free. I mean, what do I know if I can’t even understand first order logic. There’s no way I’ll get to second order logic. Note to self: pick up a box of cheap pencils so that I can break them in half when I get exasperated over my own stupidity and inconsiderateness à la the great Senator Ableukhov. <a href="https://mathstodon.xyz/tags/politics" class="mention hashtag" rel="nofollow noopener" target="_blank">#politics</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a> <a href="https://mathstodon.xyz/tags/literature" class="mention hashtag" rel="nofollow noopener" target="_blank">#literature</a> <a href="https://mathstodon.xyz/tags/trump" class="mention hashtag" rel="nofollow noopener" target="_blank">#trump</a> <a href="https://mathstodon.xyz/tags/democracy" class="mention hashtag" rel="nofollow noopener" target="_blank">#democracy</a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://mathstodon.xyz/tags/israel" class="mention hashtag" rel="nofollow noopener" target="_blank">#israel</a> <a href="https://mathstodon.xyz/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#ai</a>

Tom de JongMy paper "Continuous and algebraic domains in univalent foundations" with <a href="https://mathstodon.xyz/@MartinEscardo" class="u-url mention" rel="nofollow noopener" target="_blank">@MartinEscardo</a> was accepted for publication by the Journal of Pure and Applied Algebra! 🎉 <a href="https://arxiv.org/abs/2407.06956" rel="nofollow noopener" translate="no" target="_blank">https://arxiv.org/abs/2407.06956</a>This paper has its origin in my very first paper with Martín (and my second paper overall) "Domain Theory in Constructive and Predicative Univalent Foundations" which appeared at Computer Science Logic (CSL) back in 2021.Since then I wrote my PhD thesis on this topic (and worked on other things in type theory after) and the present paper is a revision of both the CLS'21 paper and my PhD thesis (which I completed in 2022).Everything in the paper has been formalized and an HTML rendering of the Agda file that directly links the code to the paper can be found here: <a href="https://cs.bham.ac.uk/~mhe/TypeTopology/DomainTheory.Continuous-and-algebraic-domains.html" rel="nofollow noopener" translate="no" target="_blank">https://cs.bham.ac.uk/~mhe/TypeTopology/DomainTheory.Continuous-and-algebraic-domains.html</a><a href="https://mathstodon.xyz/tags/typetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#typetheory</a> <a href="https://mathstodon.xyz/tags/agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#agda</a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/computerscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#computerscience</a>

Counting Is Hard<a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://mathstodon.xyz/tags/memes" class="mention hashtag" rel="nofollow noopener" target="_blank">#memes</a>

Europe Says<a href="https://www.europesays.com/2339232/" rel="nofollow noopener" translate="no" target="_blank">https://www.europesays.com/2339232/</a> Savannah entrepreneurs gain business skills through city sponsored program <a href="https://pubeurope.com/tags/Activity" class="mention hashtag" rel="nofollow noopener" target="_blank">#Activity</a> <a href="https://pubeurope.com/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://pubeurope.com/tags/business" class="mention hashtag" rel="nofollow noopener" target="_blank">#business</a> <a href="https://pubeurope.com/tags/Business" class="mention hashtag" rel="nofollow noopener" target="_blank">#Business</a>(activity) <a href="https://pubeurope.com/tags/BusinessLeaders" class="mention hashtag" rel="nofollow noopener" target="_blank">#BusinessLeaders</a> <a href="https://pubeurope.com/tags/Enabled" class="mention hashtag" rel="nofollow noopener" target="_blank">#Enabled</a> <a href="https://pubeurope.com/tags/Entrepreneurs" class="mention hashtag" rel="nofollow noopener" target="_blank">#Entrepreneurs</a> <a href="https://pubeurope.com/tags/Entrepreneurship" class="mention hashtag" rel="nofollow noopener" target="_blank">#Entrepreneurship</a> <a href="https://pubeurope.com/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exclude</a> <a href="https://pubeurope.com/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#ExcludeFromPaywallLogicTesting</a> <a href="https://pubeurope.com/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#from</a> <a href="https://pubeurope.com/tags/Ga" class="mention hashtag" rel="nofollow noopener" target="_blank">#Ga</a> <a href="https://pubeurope.com/tags/girl" class="mention hashtag" rel="nofollow noopener" target="_blank">#girl</a> <a href="https://pubeurope.com/tags/GirlScoutsOfTheUSA" class="mention hashtag" rel="nofollow noopener" target="_blank">#GirlScoutsOfTheUSA</a> <a href="https://pubeurope.com/tags/highlights" class="mention hashtag" rel="nofollow noopener" target="_blank">#highlights</a> <a href="https://pubeurope.com/tags/leaders" class="mention hashtag" rel="nofollow noopener" target="_blank">#leaders</a> <a href="https://pubeurope.com/tags/local" class="mention hashtag" rel="nofollow noopener" target="_blank">#local</a> <a href="https://pubeurope.com/tags/LocalBusiness" class="mention hashtag" rel="nofollow noopener" target="_blank">#LocalBusiness</a>(activity) <a href="https://pubeurope.com/tags/LocalNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#LocalNews</a> <a href="https://pubeurope.com/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#News</a> <a href="https://pubeurope.com/tags/of" class="mention hashtag" rel="nofollow noopener" target="_blank">#of</a> <a href="https://pubeurope.com/tags/Overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Overall</a> <a href="https://pubeurope.com/tags/OverallPositive" class="mention hashtag" rel="nofollow noopener" target="_blank">#OverallPositive</a> <a href="https://pubeurope.com/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Paywall</a> <a href="https://pubeurope.com/tags/Positive" class="mention hashtag" rel="nofollow noopener" target="_blank">#Positive</a> <a href="https://pubeurope.com/tags/Savannah" class="mention hashtag" rel="nofollow noopener" target="_blank">#Savannah</a> <a href="https://pubeurope.com/tags/Scouts" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scouts</a> <a href="https://pubeurope.com/tags/small" class="mention hashtag" rel="nofollow noopener" target="_blank">#small</a> <a href="https://pubeurope.com/tags/SmallBusiness" class="mention hashtag" rel="nofollow noopener" target="_blank">#SmallBusiness</a> <a href="https://pubeurope.com/tags/story" class="mention hashtag" rel="nofollow noopener" target="_blank">#story</a> <a href="https://pubeurope.com/tags/StoryHighlightsAIEnabled" class="mention hashtag" rel="nofollow noopener" target="_blank">#StoryHighlightsAIEnabled</a> <a href="https://pubeurope.com/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#testing</a> <a href="https://pubeurope.com/tags/the" class="mention hashtag" rel="nofollow noopener" target="_blank">#the</a> <a href="https://pubeurope.com/tags/USA" class="mention hashtag" rel="nofollow noopener" target="_blank">#USA</a>

Simon Forman<a href="https://mastodon.social/tags/Thue" class="mention hashtag" rel="nofollow noopener" target="_blank">#Thue</a> program for Laws of Form arithmetic.()()::=() (())::= ::=Thue: <a href="https://wiki.xxiivv.com/site/thue.html" rel="nofollow noopener" translate="no" target="_blank">https://wiki.xxiivv.com/site/thue.html</a> LoF: <a href="http://www.markability.net/" rel="nofollow noopener" translate="no" target="_blank">http://www.markability.net/</a> LoF: <a href="https://en.wikipedia.org/wiki/Laws_of_Form" rel="nofollow noopener" translate="no" target="_blank">https://en.wikipedia.org/wiki/Laws_of_Form</a><a href="https://mastodon.social/tags/esolang" class="mention hashtag" rel="nofollow noopener" target="_blank">#esolang</a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a>

Steven CarneiroBringing the rigor of mathematics to physics: <a href="https://social.vivaldi.net/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://social.vivaldi.net/tags/physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#physics</a> <a href="https://social.vivaldi.net/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://social.vivaldi.net/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#research</a> <a href="https://social.vivaldi.net/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a> 🟰<a href="https://www.wired.com/story/efforts-to-ground-physics-in-math-are-opening-the-secrets-of-time/" rel="nofollow noopener" translate="no" target="_blank">https://www.wired.com/story/efforts-to-ground-physics-in-math-are-opening-the-secrets-of-time/</a>

TariqI honestly think the book is wrong.Book asks us to prove this is a tautology. (A ⇒(A⇒B)) ⇒ (A⇒B)Am I deeply mistaken?In my mind it is only true if A is assumed to be true which we aren't doing here.------Precious exercise was ok: (A ⇒ ((A⇒B)⇒B) makes sense.<a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a>

Tom de JongIt was both a pleasure and a privilege to deliver 5 90-min blackboard (!) lectures on Categorical Realizability to 20–30 students and fellow lecturers at the European Summer School in <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a>, Language and Information (<a href="https://mathstodon.xyz/tags/ESSLLI" class="mention hashtag" rel="nofollow noopener" target="_blank">#ESSLLI</a>). I really enjoyed the interaction with all attendees and appreciated their excellent questions and comments: thank you!Also, a huge thanks to <a href="https://fediscience.org/@tschfflr" class="u-url mention" rel="nofollow noopener" target="_blank">@tschfflr</a> and the other organizers for running <a href="https://mathstodon.xyz/tags/ESSLLI2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#ESSLLI2025</a> so smoothly!!

Tatjana SchefflerESSLLI 2025 is officially closed! Thank you all so much for being here 🥰 <a href="https://fediscience.org/tags/esslli2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#esslli2025</a> <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://fediscience.org/tags/language" class="mention hashtag" rel="nofollow noopener" target="_blank">#language</a> <a href="https://fediscience.org/tags/information" class="mention hashtag" rel="nofollow noopener" target="_blank">#information</a> <a href="https://fediscience.org/tags/rub" class="mention hashtag" rel="nofollow noopener" target="_blank">#rub</a>

Tatjana Scheffler🤩Last day of <a href="https://fediscience.org/tags/esslli2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#esslli2025</a> ! 😅 <a href="https://2025.esslli.eu" rel="nofollow noopener" translate="no" target="_blank">https://2025.esslli.eu</a> <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://fediscience.org/tags/language" class="mention hashtag" rel="nofollow noopener" target="_blank">#language</a> <a href="https://fediscience.org/tags/information" class="mention hashtag" rel="nofollow noopener" target="_blank">#information</a> <a href="https://fediscience.org/tags/rub" class="mention hashtag" rel="nofollow noopener" target="_blank">#rub</a>

Preston MacDougall<a href="https://masto.ai/@meduza_en" class="u-url mention" rel="nofollow noopener" target="_blank">@meduza_en</a> Were they sent to a gulag as ‘incentive’ to work faster! 😂 Pro tip: <a href="https://mstdn.science/tags/TimeTravel" class="mention hashtag" rel="nofollow noopener" target="_blank">#TimeTravel</a> (aside from going forward slowly as we are right now) is impossible - and ALWAYS will be. Otherwise, everybody would’ve encountered time-travelers wanting to see if the <a href="https://mstdn.science/tags/Trump" class="mention hashtag" rel="nofollow noopener" target="_blank">#Trump</a> <a href="https://mstdn.science/tags/kakistocracy" class="mention hashtag" rel="nofollow noopener" target="_blank">#kakistocracy</a> was really as stupid as <a href="https://mstdn.science/tags/history" class="mention hashtag" rel="nofollow noopener" target="_blank">#history</a> books portray it in the future! 😂 <a href="https://mstdn.science/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a> <a href="https://mstdn.science/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a>

RanaldCloustonI have finished up with teaching my big introductory <a href="https://fediscience.org/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> course at <a href="https://fediscience.org/tags/ANU" class="mention hashtag" rel="nofollow noopener" target="_blank">#ANU</a>, leading 300+ students through propositional, first order, and temporal logic, through natural deduction and tableaux, and through formal semantics and translation to natural language. I did a huge overhaul of the existing course and made some mistakes en route for sure, but overall student feedback was very positive. Although I am not obliged to expose anything behind my LMS paywall, I feel strongly about disseminating teaching as a genuine intellectual output and have a public website up with most of my materials: <a href="https://comp.anu.edu.au/courses/comp2620/news/2025/02/17/welcome/" rel="nofollow noopener" translate="no" target="_blank">https://comp.anu.edu.au/courses/comp2620/news/2025/02/17/welcome/</a>

Calishat<a href="https://researchbuzz.masto.host/tags/politics" class="mention hashtag" rel="nofollow noopener" target="_blank">#politics</a> <a href="https://researchbuzz.masto.host/tags/speech" class="mention hashtag" rel="nofollow noopener" target="_blank">#speech</a> <a href="https://researchbuzz.masto.host/tags/rhetoric" class="mention hashtag" rel="nofollow noopener" target="_blank">#rhetoric</a> <a href="https://researchbuzz.masto.host/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> 'A new study... has found that speeches in the U.S. Congress have increasingly relied on emotional and subjective language over the past several decades, drifting away from language grounded in facts and evidence'<a href="https://www.psypost.org/congressional-speeches-have-shifted-away-from-evidence-based-rhetoric/" rel="nofollow noopener" translate="no" target="_blank">https://www.psypost.org/congressional-speeches-have-shifted-away-from-evidence-based-rhetoric/</a>

Tom de JongOn my way to Bochum to teach a course on Categorical Realizability at the European Summer School in <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a>, Language and Information 😄 <a href="https://mathstodon.xyz/tags/esslli2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#esslli2025</a> <a href="https://mathstodon.xyz/tags/esslli" class="mention hashtag" rel="nofollow noopener" target="_blank">#esslli</a>

Recent searches

Search options

Administered by:

Server stats: