5.5: Claims and Conjectures