Punishment Fosters Efficiency in the Minimum Effort Coordination Game