nakamura’s lemma dialogue is now fully hooked up.  May SSes are now initialized just with d1 differentials; the rest have to be sought out by users with this new tool.