Tras lo cual se echaban a reír, como era conveniente.