You should abstract this; you realize bullets are group actions on the set of feet, right? Edit: Sorry, not group actions, monoid actions. Group actions would

You should abstract this; you realize bullets are group actions on the set of feet, right? Edit: Sorry, not group actions, monoid actions. Group actions would mean there was some kind of inverse bullet. Also note that bullets aren't commutative.