recomputation

not defined yet