Before revision:  We derive the conditions under which cooperation can emerge and verify our analytical predictions by agent-based computer simulation.
After revision:  We derive the conditions under which cooperation can emerge and verify our analytical predictions in agent-based computer simulation.