wellfounded

not defined yet