On the specification of the firing squad problem