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