1: Place the ground brisket and chopped cooked brisket in a large bowl and mix with a wooden spoon.   Moisten your hands with cold water and form the mixture into 4 equal patties, each 3/4 inch thick. Dimple the center slightly with your thumb (burgers rise more in the center as they cook, so these will remain an even thickness). Chill on a plastic wrap-lined plate in the refrigerator for 1 hour.

2: Set up your grill for direct grilling and heat to high. Ideally, you’ll be grilling over wood or a wood-enhanced fire. Brush or scrape the grill grate clean and oil it well.

3: Season the burgers generously on both sides with salt and pepper. Arrange on the grate and grill until the bottoms are sizzling and browned, 3 to 4 minutes. Give each a quarter turn after 1-1/2 minutes so they grill evenly. Turn the burgers and lay the provolone slices (if using) on top. Close the grill lid and continue grilling until the cheese is melted and the burgers are cooked to taste. The USDA recommends an internal temperature of 160 degrees (medium). Insert the probe of an instant-read meat thermometer through the side of the burger to check it.

4: Meanwhile, butter the cut sides of the pretzel rolls.   Toast the buns, cut sides down, on the grill, 30 seconds or as needed.

5: To assemble the burgers, line the bottom of each toasted bun with a lettuce leaf, if using (this keeps the burger juices from making it soggy).   Add the burger and any of the embellishments, including your favorite condiments.   Add the top bun and dig in.