Logic.Basic  add more laws