Adding in references to Share-PSI Report and Axioms