diff --git a/lib/bud/lattice-lib.rb b/lib/bud/lattice-lib.rb
index <HASH>..<HASH> 100644
--- a/lib/bud/lattice-lib.rb
+++ b/lib/bud/lattice-lib.rb
@@ -343,7 +343,7 @@ class Bud::BagLattice < Bud::Lattice
     wrap_unsafe(rv)
   end
 
-  morph :mult do |k|
+  morph :card do |k|
     rv = @v[k]
     rv ||= 0
     Bud::MaxLattice.new(rv)
diff --git a/test/tc_lattice.rb b/test/tc_lattice.rb
index <HASH>..<HASH> 100644
--- a/test/tc_lattice.rb
+++ b/test/tc_lattice.rb
@@ -1126,7 +1126,7 @@ class SimpleBag
     b_sum <= b1 + b2
     b_sum <= b2 + b1
     has_foo <= b_sum.contains?("foo")
-    done <= b_intersect.mult("foo").gt(2)
+    done <= b_intersect.card("foo").gt(2)
   end
 end
Rename lbag#mult to lbag#card, for consistency with SoCC draft.