gunpoint robbery, informally