I think so, at least when it comes to assuming that multi-threading data races don't happen.