work towards make_cs_assums

got the term part working on one example