) implementation with artially honest agents when there are three or more participants. First, it establishes a condition which is … necessary and sufficient for implementation. Second, it provides simple tests for checking whether or not a social choice … correspondence can be implemented. Their usefulness is shown by examining implementation in a wide variety of environments. …