Ask HN: Why aren’t leaky abstractions considered bad practice in mathematics? | Not Hacker News!