conjectures

not defined yet