added conjectures