Exactly! That's why I just commented [1] that the default isolation level should be serializable.

[1] https://news.ycombinator.com/item?id=38696421