add ASSUMPTION.rst