Ingo Lepper and Georg Moser: Why Ordinals are Good for You; Heribert Vollmer: First-Order Logic with Groupoidal Quantifiers.