On the Realizability of Contracts in Dishonest Systems