3) To make dough with a food processor: Place the flour, salt, sugar and yeast in the work bowl of a food processor equipped with the steel blade. Process for 5 seconds. Add the water, and process for 7 to 10 seconds, until the dough starts to clear the sides of the bowl. Process for another 45 seconds. Place a handful of flour in a bowl, scoop the slack dough into the bowl, and shape the dough into a ball, coating it with the flour. Transfer the dough to a plastic bag, close the bag loosely, leaving room for the dough to expand, and let it rest at room temperature for 30 minutes.
4) While the dough is resting, prepare the topping: Combine the boiling water and baking soda, stirring until the soda is totally (or almost totally) dissolved. Set the mixture aside to cool to lukewarm (or cooler).
5) Preheat your oven to 475°F. Prepare a baking sheet by spraying it with vegetable oil spray, or lining it with parchment paper.
6) Transfer the dough to a lightly greased work surface, and divide it into eight equal pieces (about 70g, or 2 1/2 ounces, each).
7) Allow the pieces to rest, uncovered, for 5 minutes. Pour the baking soda/water into a 9" square pan.
8) Roll each piece of dough into a long, thin rope (about 28" to 30" long), and twist each rope into a pretzel. Working with 4 pretzels at a time, place them in the pan with the baking soda/water, spooning the water over their tops; leave them in the water for 2 minutes before placing them on the baking sheet. This baking soda "bath" will give the pretzels a nice, golden-brown color.
9) Transfer the pretzels to the prepared baking sheet. Sprinkle them lightly with coarse, kosher, or pretzel salt, if desired. Allow them to rest, uncovered, for 10 minutes.
10) Bake the pretzels for 8 to 9 minutes, or until they're golden brown.
11) Remove the pretzels from the oven, and brush them thoroughly with the melted butter. Keep brushing the butter on until you've used it all up; it may seem like a lot, but that's what gives these pretzels their ethereal taste. Eat the pretzels warm, or reheat them in an oven or microwave.
Yield: 8 large pretzels.