Assertion list
body (aspect of butterfly ) → CapableOf
Results from Ascent++: 3
body → CapableOf → contract in time 0.68
body → CapableOf → rearrange all the cells 0.25
body → CapableOf → shrink in time 0.25