Did We Ever Decide

Is it okay to punch Nazis?