Beef Barbeque Sandwiches

To prepare the meat: Insert the cloves into the whole onion. In a pressure cooker, cook beef, whole onion with cloves, bay leaves and water until the meat is done. (Follow the guidelines for your pressure cooker. I put my meat on the rack of the pressure cooker and add enough water to at least go half-way up the rack.) Remove meat and shred, discarding bones, gristle and fat. Reserve one cup of the broth for the sauce. To prepare the sauce: In a large saucepan, cook chopped onion in butter until tender. Add remaining sauce ingredients and stir. Add beef last. Cover and simmer on low at least 30 minutes or more. Serve on hamburger or other buns of your choice.