Renames to conjecture.