This paper examines the implementability of social choice functions when only partial verification of private information is possible. Green and Laffont (1986) used this framework to derive a necessary and sufficient condition for the revelation principle to continue to hold with partial...