add BifoldableLaw