The idea of comedy