good advice so far.
i would add that it depends on how you like your bok chili.
chunky, with discernible veggies and beans, or more homogeneous, like a chili you might use as a topping for hot dogs. shorter cooking time for the former, longer for the latter.
The past is gone it's all been said.
So here's to what the future brings,
I know tomorrow you'll find better things