S1E7 - How Many Romans Does it Take to Build a Dome? A Brief Discussion on Vaulting Tubes