reassumptions

not defined yet