Mathematical logic for why abstracted code is maintainable code. | Hacker News Reader