conjecturally

not defined yet