function resolve(uint8 v, bytes32 r, bytes32 s, bytes32 value) {
    require(ecrecover(sha3(factHash, value), v, r, s) == ethAddr);
    require(!resolved);
    uint valueInt = uint(value);
    require(valueInt==0 || valueInt==1);
    outcome = valueInt;
    resolved = true;
    Resolve(resolved, outcome);
  }