I should not say guaranteed, because actually this can all reverse before market open. If it doesn’t reverse, then it’s guaranteed there will be margin calls today