Theorem:
For every 2 x 2 taxonomy in computer science, one of the categories is useless.
Examples:
⇥ Return to wren.wtf