what shape format is the size of a a23 battery?
(AND engineering.battery_shape_format (JOIN engineering.battery_shape_format.battery_sizes m.02r3tx0))