Checkpoint. Working in FamInst on newFamInst.