Was the Johnson Rifle Better than the Garand?