Double Implementation with Partially Honest Agents