[wyas]

Cursory reading, they do seem to discuss limitations. They say that the system is not guaranteed to provide liveness for double-spends.