When does redundancy become redundant? · HackerLangs