Chris Rock is a very funny man.