I do not know how Wrap to a Butterfly or "O". It doesn't follow our definition, http://www.ceder.net/def/wrap.php
Specifically, our definition says to do Column Circulates until reaching the #1 spot in the column, at which point you do a 1/2 Circulate, then formation Circulates. I don't see how the #1 dancer works. I.e., I would expect the #1 dancer to do a 1/2 Circulate, then two formation Circulates, which can't be a Butterfly or "O" since the dancer is now on an axis.
What's your definition for Wrap to a Butterfly, or a Wrap to an "O"?
--------------------
UNWRAP the {formation}:
I have no problem with Unwrap The Butterfly. I call it once in a while.
Unwrap the "O" is slightly more problematic. I'd expect the #3 dancer to lead, then all slide together (afterwards) to form Columns. I consider this legal, but I probably wouldn't call it.