Added section on assumed conjectures