diff --git a/thun/defs.txt b/thun/defs.txt
index 2d0ed4f..e15f6b2 100644
--- a/thun/defs.txt
+++ b/thun/defs.txt
@@ -9,7 +9,7 @@ binary == unary popd
 ccons == cons cons
 cleave == fork [popd] dip
 codireco == cons dip rest cons
-dinfrirst == dip infra first
+dinfrirst == dip infrst
 disenstacken == ? [uncons ?] loop pop
 down_to_zero == [0 >] [dup --] while
 drop == [rest] times
@@ -20,7 +20,6 @@ enstacken == stack [clear] dip
 flatten == [] swap [concat] step
 fork == [i] app2
 fourth == rest third
-gcd == 1 [tuck modulus dup 0 >] loop pop
 grba == [stack popd] dip
 ifte == [nullary] dipd swap branch
 ii == [dip] dupdip i
@@ -28,7 +27,7 @@ infra == swons swaack [i] dip swaack
 infrst == infra first
 make_generator == [codireco] ccons
 neg == 0 swap -
-nullary == stack popd [i] infrst
+nullary == [stack] dinfrirst
 of == swap at
 pam == [i] map
 pm == [+] [-] cleave popdd
@@ -39,7 +38,6 @@ popopd == [popop] dip
 popopdd == [popop] dipd
 primrec == [i] genrec
 product == 1 swap [*] step
-product == 1 swap [*] step
 quoted == [unit] dip
 range == [0 <=] [1 - dup] anamorphism
 range_to_zero == unit [down_to_zero] infra