What is the punishment if a man "strike the body" of a "man higher in rank than he?'