add BifoldableLaw
bifoldable properties