The best jokes are those that are actually implemented.