diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,4 @@
 0.0.10
     updating 0.0.9 versions in Workspace8 2019 for submission
     cleaned up (mostly)
+0.1.2 preparing for 9.2.1
diff --git a/Uniform/Properties.hs b/Uniform/Properties.hs
new file mode 100644
--- /dev/null
+++ b/Uniform/Properties.hs
@@ -0,0 +1,42 @@
+---------------------------------------------------------------------
+---Module      :   Properties  
+--             a place to state some algebraic laws
+--             used in tests 
+-- compare with Data.Zero 
+----------------------------------------------------------------------
+-- {-# LANGUAGE FlexibleContexts #-}
+-- {-# LANGUAGE MultiParamTypeClasses #-}
+-- {-# LANGUAGE DefaultSignatures #-}
+-- {-# LANGUAGE TypeOperators #-}
+
+{-# OPTIONS -Wall #-}
+
+module Uniform.Properties
+  ( module Uniform.Properties
+  )
+where
+
+import           Algebra.Laws             as Law
+--import           Test.Framework
+import           Test.Invariant           as Rule
+prop_zero_mknull :: (Monoid a, Eq a)  => a -> Bool
+prop_zero_mknull a = Law.zero mappend a mempty
+
+prop_assoz :: (Monoid a, Eq a)  => a -> a ->  a -> Bool
+prop_assoz a b c = Rule.associative mappend a b c
+
+prop_concat :: (Monoid a, Eq a) => [a] -> Bool
+prop_concat as =    mconcat as == foldr mappend mempty as
+
+
+
+--prop_s2lat :: String -> Bool  -- will fail ? fails
+--prop_s2lat = inverts lat2s s3lat
+
+    --prop_s2latin :: String -> Bool     -- why does this always work?  (is the intermediate result ok?)
+--prop_s2latin = inverts latin2s s2latin
+
+--prop_s3latin :: String -> Bool     --inverts with reasonable intermediate value
+--prop_s3latin s = inverts latin2s s2latin (convertLatin s)
+
+--
diff --git a/uniform-algebras.cabal b/uniform-algebras.cabal
--- a/uniform-algebras.cabal
+++ b/uniform-algebras.cabal
@@ -1,13 +1,13 @@
 cabal-version: 2.2
 
--- This file has been generated from package.yaml by hpack version 0.34.2.
+-- This file has been generated from package.yaml by hpack version 0.34.6.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: d5063147a590e342c7a089d4c99da9a156918b76b109cb499cfe5b0d26b3e716
+-- hash: dc98329abf5718f8d41deb508741ac6c133c08333cafe2afe3727b9522aa4b54
 
 name:           uniform-algebras
-version:        0.1.0
+version:        0.1.2
 synopsis:       Pointless functions and a simplistic zero and monoid
 description:    Simple algebras avoiding too much mathematical underpinning
                 .
@@ -34,12 +34,15 @@
   exposed-modules:
       Uniform.ListForm
       Uniform.Pointless
+      Uniform.Properties
       Uniform.Zero
   autogen-modules: Paths_uniform_algebras
   other-modules:
       Paths_uniform_algebras
   hs-source-dirs:
-      ./.
+      ./
   build-depends:
-      base >=4.7 && <5
+      base >4.7 && <5
+    , numeric-prelude
+    , test-invariant
   default-language: Haskell2010