A very nerdy joke.