Good point, but there is a semantic difference between theft and robbery.