undespairing
not defined yet