recontrive
not defined yet