Flogging superseded for ever! In the army and navy.