Just for completeness, it might be nice to increment one of the actors more than once.