add assume function
Add retract function.  Partner to assume.