starting point for AddKnownsToLinearSystems