The fall of the theorem economy · HackerLangs