spec'ing out MakeLiftJson