reassumption

not defined yet