use myReadTerm from ProcessCommand (avoid duplication); fixed rng seed (was being set repeatedly, now set just once)