updated list of facts/conjectures