Reformat conhecture