Mechanism design with costly verification and limited punishments · Study