[rtfeldman]

The most useful takeaway from that graph is the insight into how many type theory aficionados look at the world.