In prosecuting genocide, what must the act be formally acknowledged as?