The cholent by the kiddush in my Bet Haknessset is not the best. It is always a little bland. Many of the members have learned by now to add some Ketchup, mustard, tabaco or other condiments into their bowl. I don’t really like the cholent but I a unsure if what they are doing is correct according to Halacha. Isn’t the potatoes in the cholent like a Kli Rishon. I there a problem of Bishul?