the holiday of pleasure