Arthur conjectures