Today’s Google Doodle is all wrong. Shouldn’t the older pencil be the smaller one?