A formal definition of mutation independence | Hacker News Reader