Structural vs. Mathematical "Under" (2023) | Not Hacker News!