GLSimon Law : good catch! I have updated the article to fix the typo. Thank you.Reply·Article·Mar 9, 2025·First-Order, Second-Order Expressions, and Delimiters in Languages