in the kitchen is adding vegetable shortening to pinto beans