Revelation and Implementation under Differential Information