undisproved

not defined yet