hook: Paired star promenade/whirl and revolving door
formation: Becket cw
A1  2  slide left along set ⁋

6  circle left 3 places
 
8  neighbors do si do 1¼
 
A2  0  Alternately: Mad Robin, ladles through the middle

8  ladles allemande left 1½, scoop up partners
 
4  ladles star promenade left ½
 
4  butterfly whirl
 
B1  8  revolving door  gentlespoons take right hands and drop off partners on other side

8  neighbors swing
 
B2  4  ladles give & take partners

12  partners swing

Written and danced at Summer CDH. Elisabeth Monica from Louisville wanted to know if any dances existed with both a star promenade/butterfly whirl and a revolving door. I didn't know of any but was happy to oblige. The title comes from the foundational assertions of mathematical proofs, and references the fact that I think any combination of two figures can be incorporated into an enjoyable dance.