conjecturableness

not defined yet