retroduction

not defined yet