On the realizability of contracts in dishonest systems