Anonymous ID: 408014 March 6, 2020, 11:38 a.m. No.8334549   🗄️.is 🔗kun

>>8334441

In wood joinery, those are called "Dutchmen" and, while the bow-tie is most common, they can take on a variety of decorative shapes while still serving the same basic functionality. If the stone forms were poured, there would be no need for the Dutchmen.