And such, indeed, seems to be the idea of Herbert Spencer: according to him, laughter is the indication of an effort which suddenly encounters a void.