Looking for the shortest joke