adding a very weak Foldable law.