diff --git a/tapl/tests/mlish/bg/README.md b/tapl/tests/mlish/bg/README.md
index 2e9d4ba..5d29aa9 100644
--- a/tapl/tests/mlish/bg/README.md
+++ b/tapl/tests/mlish/bg/README.md
@@ -3,19 +3,11 @@ bg
 
 mlish tests by Ben
 
-`basics`
+`basics-general`
 ---
 ```
-(fn-list [f* : (List (→ A A))] [a : A] → A)
-(count-letters/one [s : String] [c : Char] → Int)
-(count-letters [s* : (List String)] [c : Char] → Int)
 (map [f : (→ A B)] [x* : (List A)] → (List B))
 (append [x* : (List A)] [y* : (List A)] → (List A))
-(flatten [x** : (List (List A))] → (List A))
-(insert [x : A] → (→ (List A) (List (List A))))
-(permutations [x* : (List A)] → (List (List A)))
-(split [ab* : (List (** A B))] → (** (List A) (List B)))
-(combine [a*b* : (** (List A) (List B))] → (List (** A B)))
 (fst [xy : (** A B)] → A)
 (snd [xy : (** A B)] → B)
 (member [x* : (List A)] [y : A] → Bool)
@@ -24,14 +16,24 @@ mlish tests by Ben
 (filter [f : (→ A Bool)] [x* : (List A)] → (List A))
 (sum [x* : (List Float)] → Float)
 (reverse [x* : (List A)] → (List A))
+```
+
+`basics`
+---
+```
+(fn-list [f* : (List (→ A A))] [a : A] → A)
+(count-letters/one [s : String] [c : Char] → Int)
+(count-letters [s* : (List String)] [c : Char] → Int)
+(flatten [x** : (List (List A))] → (List A))
+(insert [x : A] → (→ (List A) (List (List A))))
+(permutations [x* : (List A)] → (List (List A)))
+(split [ab* : (List (** A B))] → (** (List A) (List B)))
+(combine [a*b* : (** (List A) (List B))] → (List (** A B)))
 (convolve [x* : (List Float)] [y* : (List Float)] → Float)
 (mc [n : Int] [f : (→ A A)] [x : A] → A)
 (square [n : Int] → Int)
 (successor [mcn : (→ (→ A A) A A)] → (→ (→ A A) A A))
-(map-index [is* : (List (** Int (List String)))] → (List (** String Int)))
-(reduce-index [si* : (List (** String Int))] → (List (** String (List Int))))
-(make-index [is* : (List (** Int (List String)))] → (List (** String (List Int))))
-(split [x* : (List A)] → (** (List A) (List A)))
+(split2 [x* : (List A)] → (** (List A) (List A)))
 (merge [x*+y* : (** (List Int) (List Int))] → (List Int))
 (mergesort {x* : (List Int)} → (List Int))
 (quicksort [x* : (List Int)] → (List Int))
@@ -45,6 +47,14 @@ mlish tests by Ben
 (map-cps [f : (→ A B)] [x* : (List A)] → (List B))
 ```
 
+`basics2`
+---
+```
+(map-index [is* : (List (** Int (List String)))] → (List (** String Int)))
+(reduce-index [si* : (List (** String Int))] → (List (** String (List Int))))
+(make-index [is* : (List (** Int (List String)))] → (List (** String (List Int))))
+```
+
 `huffman`
 ---
 ```