r6 / aa has a size identical to what battery?
(AND engineering.battery (JOIN engineering.battery.size m.05f08s))